Chapter 2 of ML for the working programmer