Title: Ada for specification
Subjects: Ada (Computer program language), Ada (computer program language), European federation