@article{foster2007combinators,
  title={Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem},
  author={Foster, J Nathan and Greenwald, Michael B and Moore, Jonathan T and Pierce, Benjamin C and Schmitt, Alan},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={29},
  number={3},
  pages={17},
  year={2007},
  publisher={ACM}
}