1. Program Schemes, Recursion Schemes, and Formal Languages;Garland;Technical Report UCLA-ENG-7154,1971
2. On formalized computer programs;Luckham;J. Comput. System Sci.,1970
3. Equivalence Problems in a Model of Computation;Paterson,1967
4. Comparative Schematology;Paterson,1970