Title: Formal definition of the ADA programming language
Subjects: Ada (Computer program language)