@INPROCEEDINGS{GaMo07,
   author = {M. Garcia and R. M{\"o}ller},
   title = {Certification of Transformations Algorithms in Model-Driven Software Development},
   year = {2007},
   pages = 	 {107--118},
   editor = 	 {W.-G. Bleek and J. R{\"a}sch and H. Z{\"u}llighoven},
   booktitle = 	 {Software Engineering 2007},
   volume = 	 {105},
   series = 	 {GI-Edition Lecture Notes in Informatics},
}