@Inproceedings{Hoffmann97b,
  Author        = {U.\ Hoffmann},
  Title         = {{Correct Implementation of Compiler Programs}},
  BookTitle     = {Workshop on Programming Languages and Fundamentals of
                   Programming, Avendorf September 1997},
  editor =       {Rudolf Berghammer and Friedemann Simon},
  series =       {Technical Report 9717},
  year =         1997,
  publisher =    CAUIFIUPM,
  address =      {Kiel},
  month =        nov,
  pages =        {127--138},
}