A two-tiered approach to specifying programs. (1983)

by Jeannette Marie Wing