Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi. An Algebraic Approach to Bi-directional Updating. In Wei-Ngan Chin, editor, Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings. Volume 3302 of Lecture Notes in Computer Science, pages 2-20, Springer, 2004. [doi]
Abstract is missing.