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.
Springer-Verlag, text and monographs in computer science series; 1990, 416 pages, includes bibliography.