Introduction to Standard ML - Harper, Robert 1957- (Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series, 1986)