Specification Techniques for Data Abstractions (1975)

by B H Liskov, S N Zilles
Venue:IEEE Transactions on Software Engineering