A two-tiered approach to specifying programs (1983)

by Jeannette Marie Wing