Introduction to [lambda]-trees - Chiswell, Ian, 1948- (World Scientific, 2001)