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