@PhDThesis{Hoffmann98b,
  Author        = {Hoffmann, Ulrich},
  Title         = {{Compiler Implementation Verification through Rigorous 
                    Syntactical Code Inspection}},
  School        = {Technische Fakult\"at der
                  Christian-Albrechts-Universit\"at zu Kiel},
  Address       = {{K}iel},
  Year          = 1998
}