Perdita Stevens Towards an Algebraic Theory of Bidirectional Transformations. 1-17 2008 ICGT http://dx.doi.org/10.1007/978-3-540-87405-8_1 conf/gg/2008 db/conf/gg/icgt2008.html#Stevens08