Herman Balsters Terry A. Halpin Formal Semantics of Dynamic Rules in ORM. 699-708 2008 OTM Workshops http://dx.doi.org/10.1007/978-3-540-88875-8_94 conf/otm/2008-w db/conf/otm/otm2008-w.html#BalstersH08