@MastersThesis{Michelsen98,
  Author        = {Michelsen, Dagobert},
  Title         = {{Korrektheit der Daten- und Operationsverfeinerung 
f\"ur eine applikative Sprache mit automatischer Speicherbereinigung}},
  School        = CAUIfIuPM,
  Address       = {{K}iel},
  Year          = 1998,
}