Introduction to programming using SML - Hansen, Michael R., 1956- (International computer science series, 1999)