Programming with specifications : an introduction to ANNA, a language for specifying Ada programs / - Luckham, David C. (Springer-Verlag,, 1990)