Balaban Mira and Jurk Steffen: Effect preservation in transaction processing in rule triggering systems. In: Acta cybernetica, (18) 4. pp. 733-776. (2008)