"Programming in standard ML 97.A tutorial introduction" - читать интересную книгу автора (Gilmore S.)