1. Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst. 6, 557–575 (1981). ISSN 0362–5915
2. Bohannon, A., Pierce, B.C., Vaughan, J.A.: Relational lenses: a language for updatable views in principles of database systems, pp. 42–67 (2006)
3. Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA. ACM, pp. 407–419 (2008). ISBN 978-1-59593-689-9
4. Ko, H.-S., Zan, T., Hu, Z. BiGUL: a formally verified core language for Putback-based bidirectional programming. In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. ACM, St. Petersburg, pp. 61–72 (2016). ISBN 978-1-4503-4097- 7
5. Ko, H.-S., Hu, Z.: An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang. 2, 41:1–41:29 (2017). ISSN 2475–1421