Recursive program schemesby W.-P. de RoeverSemanticsProof theoryRecursive programmingProgramming languages (Electronic computers)Writing a summary for young readers…For young readersBook data: Open Library