## Krzysztof R. Apt, J. W. de Bakker

*Semantics and Proof Theory of Pascal Procedures*

ICALP, 1977.

@inproceedings{ICALP-1977-AptB, author = "Krzysztof R. Apt and J. W. de Bakker", booktitle = "{Proceedings of the Fourth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-08342-1_3", isbn = "3-540-08342-1", pages = "30--44", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Semantics and Proof Theory of Pascal Procedures}", volume = 52, year = 1977, }