Interfaces and speci for the Smalltalk-80 collection classes (1992)

by W R Cook
Venue:In OOPSLA '92 Proceedings, Andreas Paepcke (editor), volume 27(10) of ACM SIGPLAN Notices