%0 Journal Article %1 journals/cj/EhrigMCO92 %A Ehrig, Hartmut %A Mahr, Bernd %A Claßen, Ingo %A Orejas, Fernando %D 1992 %J Comput. J. %K dblp %N 5 %P 460-467 %T Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. %U http://dblp.uni-trier.de/db/journals/cj/cj35.html#EhrigMCO92 %V 35

@article{journals/cj/EhrigMCO92, added-at = {2011-06-28T00:00:00.000+0200}, author = {Ehrig, Hartmut and Mahr, Bernd and Claßen, Ingo and Orejas, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2dc56b9e967ee9f43d4cf1b3f3237299c/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/35.5.460}, interhash = {f62a6216825ff13dec933be5197974b9}, intrahash = {dc56b9e967ee9f43d4cf1b3f3237299c}, journal = {Comput. J.}, keywords = {dblp}, number = 5, pages = {460-467}, timestamp = {2011-06-29T16:40:33.000+0200}, title = {Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj35.html#EhrigMCO92}, volume = 35, year = 1992 }