@techreport{Hin92Cat,
  title = "The Categorical Abstract Machine: Basics and Enhancments",
  author = "Hinze, Ralf",
  year = "1992",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "dec",
  number = "IAI-TR-92-1",
}