%0 Journal Article %1 journals/tcs/AstesianoBKKMST02 %A Astesiano, Egidio %A Bidoit, Michel %A Kirchner, Hélène %A Krieg-Brückner, Bernd %A Mosses, Peter D. %A Sannella, Donald %A Tarlecki, Andrzej %D 2002 %J Theor. Comput. Sci. %K %N 2 %P 153-196 %T CASL: the Common Algebraic Specification Language. %U http://dblp.uni-trier.de/db/journals/tcs/tcs286.html#AstesianoBKKMST02 %V 286

@article{journals/tcs/AstesianoBKKMST02, added-at = {2023-12-13T00:48:24.000+0100}, author = {Astesiano, Egidio and Bidoit, Michel and Kirchner, Hélène and Krieg-Brückner, Bernd and Mosses, Peter D. and Sannella, Donald and Tarlecki, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2cb0020aa749b0c9cfd6ae2edd2e59404/admin}, ee = {https://www.wikidata.org/entity/Q57783508}, interhash = {68ab0a7ae39843c757e723bb315b9bab}, intrahash = {cb0020aa749b0c9cfd6ae2edd2e59404}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 2, pages = {153-196}, timestamp = {2023-12-13T00:48:24.000+0100}, title = {CASL: the Common Algebraic Specification Language.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs286.html#AstesianoBKKMST02}, volume = 286, year = 2002 }