Understanding ADA a software engineering approach - Bray, Gary; Pokrass, David (Wiley, 1985)