Elements of ML Programming (1998)

by J D Ullman