The Definition of Standard ML (1989)

by Communication, Concurrency Prentice-Hall International