Samuel T. Redwine
The MITRE Corporation, McLean, VA
A Discipline of Programming
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language