@conference {3940,
	title = {Specifying the Correctness Properties of Model Transformations},
	booktitle = {3rd International Workshop on Graph and Model Transformation (GraMoT)},
	year = {2008},
	month = {05/2008},
	author = {Narayanan, Anantha and Karsai, Gabor}
}
