Abstraction mechanisms (1977)

by Barbara LIskov
Venue:in Qu. Conwiaorof the ACM