J. W. de Bakker, Willem P. de Roever
A Calculus for Recursive Program Schemes
ICALP, 1972.
@inproceedings{ICALP-1972-BakkerR,
author = "J. W. de Bakker and Willem P. de Roever",
booktitle = "{Proceedings of the Colloquium on Automata, Languages and Programming}",
isbn = "0-7204-2074-1",
pages = "167--196",
title = "{A Calculus for Recursive Program Schemes}",
year = 1972,
}