Krzysztof R. Apt, J. W. de Bakker. Semantics and Proof Theory of Pascal Procedures. In Arto Salomaa, Magnus Steinby, editors, Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings. Volume 52 of Lecture Notes in Computer Science, pages 30-44, Springer, 1977.
@inproceedings{AptB77,
title = {Semantics and Proof Theory of Pascal Procedures},
author = {Krzysztof R. Apt and J. W. de Bakker},
year = {1977},
tags = {semantics, Pascal},
researchr = {https://researchr.org/publication/AptB77},
cites = {0},
citedby = {0},
pages = {30-44},
booktitle = {Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings},
editor = {Arto Salomaa and Magnus Steinby},
volume = {52},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-08342-1},
}