%0 Book %1 mosses_caslReferenceManual_2004 %A Mosses, Peter D. %B Lecture Notes in Computer Science %D 2004 %I Springer %K imported %T CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language %V 2960 %@ 3-540-21301-5

@book{mosses_caslReferenceManual_2004, added-at = {2013-02-28T11:13:35.000+0100}, author = {Mosses, Peter D.}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/23c879674b6b2689132aa8fdbff6d7773/fritzsolms}, ee = {http://dx.doi.org/10.1007/b96103}, interhash = {7c10941ddd3373edcfb6d75c040d1101}, intrahash = {3c879674b6b2689132aa8fdbff6d7773}, isbn = {3-540-21301-5}, keywords = {imported}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2013-02-28T11:14:21.000+0100}, title = {CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language}, volume = 2960, year = 2004 }