%0 Conference Paper %1 conf/am/KlaerenI87 %A Klaeren, Herbert %A Indermark, Klaus %B Algebraic Methods %D 1987 %E Wirsing, Martin %E Bergstra, Jan A. %I Springer %K dblp %P 69-90 %T Efficient Implementation of an Algebraic Specification Language. %U http://dblp.uni-trier.de/db/conf/am/am1987.html#KlaerenI87 %V 394 %@ 3-540-51698-0

@inproceedings{conf/am/KlaerenI87, added-at = {2017-05-19T00:00:00.000+0200}, author = {Klaeren, Herbert and Indermark, Klaus}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28d3d44294759f4f99ed0af23270edf19/dblp}, booktitle = {Algebraic Methods}, crossref = {conf/am/1987}, editor = {Wirsing, Martin and Bergstra, Jan A.}, ee = {https://doi.org/10.1007/BFb0015036}, interhash = {6134ebaca921ef666921c832514c00ff}, intrahash = {8d3d44294759f4f99ed0af23270edf19}, isbn = {3-540-51698-0}, keywords = {dblp}, pages = {69-90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:23:38.000+0200}, title = {Efficient Implementation of an Algebraic Specification Language.}, url = {http://dblp.uni-trier.de/db/conf/am/am1987.html#KlaerenI87}, volume = 394, year = 1987 }