ADA : : language and methodology - Watt, David A. (Prentice-Hall International series in computer science, 1987)