Zinovy Diskin: Algebraic Models for Bidirectional Model Synchronization. MoDELS 2008: 21-36