A calculus for recursive program schemes (1972)

by J W de Bakker, W P de Roever
Venue:In Automata, Langages, and Programming