J. Foster, Michael Greenwald, Jonathan Moore, Benjamin Pierce, Alan Schmitt. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem.
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2007, ACM Transactions on Programming Languages and Systems, 29 (3), pp.17.
⟨10.1145/1232420.1232424⟩.
⟨inria-00484971⟩