Proceedings of the International Conference on Reliable software Los Angeles, California 1975
(1975)
Liskov and Zilles (1975)
Liskov, Barbara and Zilles, Stephen "Specification techniques for data abstractions" pp72-87