1. Decidable properties of monadic functional schemas;Ashcroft;J. Assoc. Comput. Mach.,1973
2. Recursive Procedures;De Bakker,1971
3. A calculus for recursive program schemes;De Bakker,1973
4. Simple recursive program schemes and inductive assertions;De Bakker,1972
5. Recursion induction and Floyd's method;Engelfriet,1971