Specication Statements and Renements (1987)

by C C Morgan
Venue:IBM J. Res. Develop