@TechReport{Indermark98,
   author=      "Klaus Indermark",
   title=       "Semantik rekursiver {F}unktionsdefinitionen mit {S}triktheitsinformation",
   institution= "RWTH Aachen",
   year=        "1998",
   number=      "AIB-13-1998",
   url=         "http://aib.informatik.rwth-aachen.de/1998/1998-13.ps.gz",
}