The definition of standard ML revised (MIT Press, 1997)
Includes bibliographical references and index