Ada language and methodology - Watt, David A. (Prentice Hall, 1987)