@TechReport{KuchenLopezFraguas92,
  author =    {Kuchen, H. and Lopez Fraguas, F.J.},
  title =     "Result {D}irected {C}omputing in a {F}unctional {L}ogic {L}anguage",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-21-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-21.ps.gz",
}