![](/img/cover-not-exists.png)
Specification techniques for data abstractions
Liskov, Barbara, Zilles, StephenVolume:
10
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/390016.808426
Date:
June, 1975
File:
PDF, 1.50 MB
english, 1975