Effective Proper Procedures and Universal Classes of Program Schemata.

Victor Harnik Effective Proper Procedures and Universal Classes of Program Schemata. 44-61 1975 10 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss10.html#Harnik75