J. W. de Bakker, Willem P. de Roever. A Calculus for Recursive Program Schemes. In ICALP. pages 167-196, 1972.
@inproceedings{BakkerR72, title = {A Calculus for Recursive Program Schemes}, author = {J. W. de Bakker and Willem P. de Roever}, year = {1972}, researchr = {https://researchr.org/publication/BakkerR72}, cites = {0}, citedby = {0}, pages = {167-196}, booktitle = {ICALP}, }