M.: An algebraic approach to bi-directional updating (2004)

by S C Mu, Z Hu, Takeichi
Venue:In: APLAS, LNCS