Logic of Change: Semantics of Object Systems with Active Relations.

Ilia Bider Maxim Khomyakov E. Pushchinsky Logic of Change: Semantics of Object Systems with Active Relations. 9-37 2000 7 Autom. Softw. Eng. 1 db/journals/ase/ase7.html#BiderKP00