%0 Conference Paper %1 conf/icalp/EhrigKP80 %A Ehrig, Hartmut %A Kreowski, Hans-Jörg %A Padawitz, Peter %B ICALP %D 1980 %E de Bakker, J. W. %E van Leeuwen, Jan %I Springer %K dblp %P 142-156 %T Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. %U http://dblp.uni-trier.de/db/conf/icalp/icalp80.html#EhrigKP80 %V 85 %@ 3-540-10003-2

@inproceedings{conf/icalp/EhrigKP80, added-at = {2017-05-19T00:00:00.000+0200}, author = {Ehrig, Hartmut and Kreowski, Hans-Jörg and Padawitz, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2e076d214a3918221d86b9bea087b44fe/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1980}, editor = {de Bakker, J. W. and van Leeuwen, Jan}, ee = {https://doi.org/10.1007/3-540-10003-2_67}, interhash = {03302afc0fe76354382825f2cf1ade27}, intrahash = {e076d214a3918221d86b9bea087b44fe}, isbn = {3-540-10003-2}, keywords = {dblp}, pages = {142-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:25:52.000+0200}, title = {Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp80.html#EhrigKP80}, volume = 85, year = 1980 }