Balsters, Herman and Halpin, Terry (2016) Formal Semantics of Dynamic Constraints and Derivation Rules in ORM. International Journal of Information System Modeling and Design (IJISMD), 7 (2). ISSN 1947-8186