Specification Techniques for Data (1975)

by B H Liskov, S N Zilles
Venue:Abstractions, Software Engineering