Introduction to Lambda Trees by Ian Chiswell (Hardback, 2001)