Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.”https://doi.org/10.1007/978-3-540-30187-5_17__In Proceedings of the UML 2004. Lisbon, Portugal, 2004.https://doi.org/10.1007/978-3-540-30187-5_17 .