@MastersThesis{Ruehle98,
  Author        = {R{\"u}hle, J\"urgen},
  Title         = {{Verifikation der Codegenerierung im Verifix-Projekt: 
                    Pr\"adikattransformer und Erhaltung partieller Korrektheit}},
  School        = CAUIfIuPM,
  Address       = {{K}iel},
  Year          = 1998,
}