@Book{milner+:def-of-sml-revised,
  author = 	 "Robin Milner and Mads Tofte and Robert Harper and David
		  MacQueen",
  title = 	 "The Definition of {S}tandard {ML} (Revised)",
  publisher = 	 "MIT Press",
  year = 	 1997
}