María Victoria Cengarle, Alexander Knapp. A Formal Semantics for OCL 1.4. In Martin Gogolla, Cris Kobryn, editors, «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings. Volume 2185 of Lecture Notes in Computer Science, pages 118-133, Springer, 2001. [doi]
@inproceedings{CengarleK01,
title = {A Formal Semantics for OCL 1.4},
author = {María Victoria Cengarle and Alexander Knapp},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2185/21850118.htm},
tags = {semantics, OCL, formal semantics, UML},
researchr = {https://researchr.org/publication/CengarleK01},
cites = {0},
citedby = {0},
pages = {118-133},
booktitle = {«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings},
editor = {Martin Gogolla and Cris Kobryn},
volume = {2185},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42667-1},
}