Rationale for the design of the Ada programming language | Synapse