Flake, S., &; Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. Proceedings of the UML 2004.https://doi.org/10.1007/978-3-540-30187-5_17 
LibreCat: /record/39352
DOI: 10.1007/978-3-540-30187-5_17