@PhdThesis{GarciaPhDThesis,
  author = 	 {Miguel Garcia},
  title = 	 {On the {F}ormalization of {M}odel-{D}riven {S}oftware {E}ngineering},
  school = 	 {Technische Universit{\"a}t Hamburg-Harburg},
  year = 	 {2009},
  OPTkey = 	 {},
  OPTtype = 	 {},
  address = 	 {Hamburg, Germany},
  OPTmonth = 	 {},
  note = 	 {ISBN 978-3-8325-2312-1},
  OPTannote = 	 {}
}