@Article{Langmaack97a,
  Author        = {Langmaack, Hans},
  Title         = {{Softwareengineering zur Zertifizierung von
                  Systemen: Spezifikations-, Implementierungs-,
                  \"Ubersetzerkorrektheit}},
  Journal       = {Informationstechnik und Technische
                  Informatik it-ti},
  Pages         = {41-47},
  Number        = 3,
  Volume        = 97,
  Publisher     = {Oldenbourg Verlag},
  Year          = 1997,
}