%0 Conference Paper %1 conf/ifip2/BergstraK82 %A Bergstra, Jan A. %A Klop, Jan Willem %B Formal Description of Programming Concepts %D 1982 %E Bjørner, Dines %I North-Holland %K dblp %P 289-304 %T Formal Proof Systems for Program Equivalence. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1982.html#BergstraK82 %@ 0-444-86619-1

@inproceedings{conf/ifip2/BergstraK82, added-at = {2019-01-15T00:00:00.000+0100}, author = {Bergstra, Jan A. and Klop, Jan Willem}, biburl = {https://www.bibsonomy.org/bibtex/220d90000ef71df94263b34f05499dd8c/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1982}, editor = {Bjørner, Dines}, interhash = {c586c2f1e2f4cc66121c736a11010b24}, intrahash = {20d90000ef71df94263b34f05499dd8c}, isbn = {0-444-86619-1}, keywords = {dblp}, pages = {289-304}, publisher = {North-Holland}, timestamp = {2019-01-16T11:36:01.000+0100}, title = {Formal Proof Systems for Program Equivalence.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1982.html#BergstraK82}, year = 1982 }