Rationale for the design of the Ada programming language / - Ichbiah, J. D. (Cambridge University Press, 1991)