Title: Towards a formal description of Ada
Subjects: Ada (Computer program language), Semantics, Programming languages (Electronic computers)