G.J.Michaelson, An Introduction to Functional Programming Through
Lambda Calculus, Addison-Wesley, ISBN 0-201-17812-5, 1988
Full text without index in Postscript
Reissued with new Preface, Dover Publications,ISBN 978-0486478838, 2011
G.J.Michaelson, Elementary Standard ML, UCL Press,
ISBN 1-85728-398-8, 1995
Full text without index in Postscript