The semantics of standard ML, version 1 - Harper, Robert 1957-; Milner, Robin 1934-2010; Tofte, Mads (Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series, 1987)