Programming with specifications : an introduction to ANNA, a language for specifying Ada programs - Luckham, David C. (Texts and monographs in computer science, 1990)