David MacQueen

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
The Definition of Standard ML - Revised	978-O-262-63181-5 (O-262-63181-4)	1997	Robin Milner · Robert Harper · Mads Tofte