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

by W Cook
Venue:Proceedings of the 10th OOPSLA, ACM Press