"Validity Checking of Putback Transformations in Bidirectional Programming."

Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics