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.

@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},
}