Modular program construction using abstractions (0)

by B Liskov
Venue:In Abstract Software Specifications