@InCollection{Hoffmann97,
  author =       "Ulrich Hoffmann",
  booktitle =    "Arbeitstagung Programmiersprachen",
  editor =       "Herbert Kuchen",
  publisher =    {Westf\"alische Wilhelms-Universit\"at M\"unster},
  title =        {{Korrekte Implementierung von 
                  \"Uber\-set\-zungs\-spezi\-fi\-ka\-tio\-nen
                  in hoher Programmiersprache}},
  year =         1997,
  series =       {Arbeitsbericht des Institutes f\"ur
                  Wirtschaftsinformatik},
  volume =       58,
  pages  =       "13--20",
  scope =        "trans",
}