%0 Conference Paper %1 conf/mfcs/Klaeren80 %A Klaeren, Herbert %B MFCS %D 1980 %E Dembinski, Piotr %I Springer %K dblp %P 362-374 %T A Simple Class of Algorithmic Specifications for Abstract Software Modules. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs80.html#Klaeren80 %V 88 %@ 3-540-10027-X

@inproceedings{conf/mfcs/Klaeren80, added-at = {2017-05-19T00:00:00.000+0200}, author = {Klaeren, Herbert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/226266b643cec2752df694de0cfea3d84/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1980}, editor = {Dembinski, Piotr}, ee = {https://doi.org/10.1007/BFb0022517}, interhash = {bb44bfddbd4cf8fa66120c98ad7d3917}, intrahash = {26266b643cec2752df694de0cfea3d84}, isbn = {3-540-10027-X}, keywords = {dblp}, pages = {362-374}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:51:58.000+0200}, title = {A Simple Class of Algorithmic Specifications for Abstract Software Modules.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs80.html#Klaeren80}, volume = 88, year = 1980 }