@manual{TROLL94,
  author	= {Gerdemann, Dale and Goetz, Thilo},
  year		= {1994},
  title		= {Troll: Type resolution system, user's guide},
  organization	= {University of Tuebingen}
}