William R. Cook Interfaces and Specifications for the Smalltalk-80 Collection Classes. 1-15 1992 OOPSLA db/conf/oopsla/oopsla92.html#Cook92