@TechReport{Wolf99a,
  Author        = {Andreas Wolf},
  Institution   = {CAU Kiel},
  Month         = feb,
  Number        = {Verifix/CAU/6.1},
  Title         = {{An Exercise in Compiler Verification Revisited -- 
                    Preserving Partial Correctness }},
  Type          = {Technical Report},
  Year          = {1999},
  file          = {awo-exercise}
}