A Calculus for Recursive Program Schemes

J. W. de Bakker, Willem P. de Roever. A Calculus for Recursive Program Schemes. In ICALP. pages 167-196, 1972.

Authors

J. W. de Bakker

This author has not been identified. Look up 'J. W. de Bakker' in Google

Willem P. de Roever

This author has not been identified. Look up 'Willem P. de Roever' in Google