@INPROCEEDINGS{CertifOfTransAlgo,
   author = {Miguel Garcia and Ralf M{\"o}ller},
   title = {Certification of {T}ransformations {A}lgorithms in {M}odel-Driven {S}oftware {D}evelopment},
   year = {2007},
   pages = 	 {107--118},
   editor = 	 {Wolf-Gideon Bleek and Jorg R{\"a}sch and Heinz Z{\"u}llighoven},
   booktitle = 	 {Software Engineering 2007},
   volume = 	 {105},
   series = 	 {GI-Edition Lecture Notes in Informatics},
   number = {ISBN 978-3-88579-199-7}
}