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