An algebraic approach to bi-directional updating (2004)

by S-C Mu, Z Hu, M Takeichi
Venue:In ASIAN Symposium on Programming Languages and Systems (APLAS