@TechReport{Chitil96,
  author =    "Olaf Chitil",
  title =     "The {S}igma-{S}emantics: {A} {C}omprehensive {S}emantics for {F}unctional {P}rograms",
  institution = "RWTH Aachen",
  year =      "1996",
  number =    "AIB-07-1996",
  url =       "http://aib.informatik.rwth-aachen.de/1996/1996-07.ps.gz",
}