The semantics of standard ML, version 1 (1986)

by R Harper, D MacQueen, R Milner