A calculus for recursive programs schemes (1972)

by J W de Bakker, W P de Roever
Venue:in: M. Nivat (Ed.), Automata, Languages, and Programming, North-Holland