The Distributed Systems Annex of Ada (DSA) [ISO06] is a normative part of the language specification. It was first introduced in the “Ada 95” revision of the language ([ISO95]). It describes remote invocation schemes applied to most language constructs.