Formal analysis of the Java Collections Framework
Networked Digital Library of Theses and Dissertations