A Denotational (Static) Semantics Method for Defining Ada Context ConditionsJørgen Bundgaard, Lennart SchultzTowards a Formal Description of Ada1980