Title: Programming with specifications
Subjects: ANNA (Computer program language), Ada (Computer program language)