Masato Takeichi. An algebraic approach to bi-directional updating (2004)

by Shin-Cheng Mu, Zhenjiang Hu
Venue:In ASIAN Symposium on Programming Languages and Systems (APLAS