Programming with standard ML (5. pr.). - Colin Myers; Chris D. Clack; Ellen Poon (Prentice Hall, 1993)