@TechReport{Mohnen95,
  author =    "Markus Mohnen",
  title =     "Functional {S}pecification of {I}mperative {P}rograms: {A}n {A}lternative {P}oint of {V}iew of {F}unctional {L}anguages",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-09-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-09.ps.gz",
}