Hu Z, Pacheco H, Fischer S.? 2014.??Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper). Proceedings of the 19th International Symposium on Formal Methods (FM 2014). :1?15.