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