ADA language and methodology - Watt, David A. (Series in computer science, 1987)