Logic of Change: Semantics of Object Systems with Active Relations. - Ilia Bider; Maxim Khomyakov; E. Pushchinsky (Autom. Softw. Eng., 2000)