Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs (1990)

by D C Luckham