@proceedings {445, title = {CT for BX: Category Theory Foundations for Bidirectional Model Transformations}, journal = {Applied and Computational Category Theory}, year = {2012}, publisher = {Pre-proceedings}, address = {Tallinn, Estonia}, attachments = {http://gsd.uwaterloo.ca/sites/default/files/zAccat12_0.pdf}, author = {Diskin, Zinovy} }