@mastersthesis{Hin89Typ,
  title = "Typsysteme und {Typinferenzsysteme}",
  author = "Hinze, Ralf",
  year = "1989",
  month = "may",
  school = "Universit\"{a}t Dortmund",
}