@TechReport{cardelli+:dot-notation,
  author = 	 "Luca Cardelli and Xavier Leroy",
  title = 	 "Abstract types and the dot notation",
  institution=   dec-src,
  year = 	 1990,
  number = 	 "56",
  address = 	 "Palo Alto, CA",
  month = 	 "March"
}