Programming with Specifications -- an introduction to Anna, a language for specifying ADA programs.
Springer-Verlag, text and monographs in computer science series; 1990, 416 pages, includes bibliography.
Condition: Good to very good overall, silver hardcover titles in red on spine and cover, some bumps and wear to edges and corners, pages clean and binding is sound.
Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming language. This book describes how to write specifications in Anna, and how to use specifications in the process of building programs, debugging them, and interfacing them with other programs (from the rear cover).