Alexandre V. Zamulin Algebraic specification of dynamic objects. 111-127 1997 conf/lmo/1997 LMO db/conf/lmo/lmo1997.html#Zamulin97