@Article{laufer-odersky:toplas94,
  author = 	 {Konstantin L\"{a}ufer and Martin Odersky},
  title = 	 "Polymorphic Type Inference and Abstract Data Types",
  journal =	 "ACM Transactions on Programming Languages and
		  Systems",
  volume =       16,
  number =       5,
  pages =        "1411-1430",
  month =        sep,
  year =	 1994
}