Semantic and proof theory of pascal procedures

Additional Metadata
Publisher	Springer
Persistent URL	doi.org/10.1007/3-540-08342-1_3
Conference	International Colloquium on Automata, Languages and Programming
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K.& de Bakker, J. (1977). Semantic and proof theory of pascal procedures. Lecture Notes in Computer Science, 30–44.https://doi.org/10.1007/3-540-08342-1_3

Publication