An algebraic approach to bi-directional updating (2004)

by S Mu, Z Hu, M Takeichi
Venue:ASIAN Symposium on Programming Languages and Systems