@TechReport{Klein94,
  author =    "Peter Klein ",
  title =     "Designing {S}oftware with {M}odula-3",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-16-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-16.ps.gz",
}