Introduction to ADA - Cooling, J. E. (Chapman & Hall, 1993)