A calculus for recursire program schemes (1972)

by LI P de Roever
Venue:in Automata. Languages and Programming