Title: Towards a Formal Description of Ada (Lecture Notes in Computer Science)
Subjects: Ada (Computer program language), Ada (computer program language)