Title: Programming with Specifications
Subjects: Computer science, Artificial intelligence, Ada (computer program language), Programming languages (electronic computers)