Interfaces and Speci for the Smalltalk-80 Collection Classes (1992)

by William R Cook
Venue:In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA