Specification statements and refinement (1987)

by C C MORGAN, K A ROBINSON
Venue:IBM J. Res. Dev