%0 Conference Paper %1 conf/ifip2/Apt77 %A Apt, Krzysztof R. %B Formal Description of Programming Concepts %D 1977 %E Neuhold, Erich J. %I North-Holland %K dblp %P 139-164 %T Equivalence of Operational and Denotational Semantics for a Fragment of Pascal. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1977.html#Apt77 %@ 0-444-85107-0

@inproceedings{conf/ifip2/Apt77, added-at = {2019-01-21T00:00:00.000+0100}, author = {Apt, Krzysztof R.}, biburl = {https://www.bibsonomy.org/bibtex/22a38944a303811aa1209c82c8b6f7615/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1977}, editor = {Neuhold, Erich J.}, interhash = {461ca5ade9252156ff19afad0a2a3fce}, intrahash = {2a38944a303811aa1209c82c8b6f7615}, isbn = {0-444-85107-0}, keywords = {dblp}, pages = {139-164}, publisher = {North-Holland}, timestamp = {2019-01-22T11:39:03.000+0100}, title = {Equivalence of Operational and Denotational Semantics for a Fragment of Pascal.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1977.html#Apt77}, year = 1977 }