@article {588,
	title = {An algebraic semantics for bidirectional model synchronization},
	number = {GSDLab TR 2014-04-01},
	year = {2014},
	month = {08/2014},
	issn = {GSDLab TR 2014-04-01},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/jssTR.pdf},
	author = {Diskin, Zinovy}
}