A Two-Tiered Approach to Specifying Programs (1983)

by J M Wing