1. Lect Notes Comput Sci;P. America,1991
2. W. R. Cook. Interfaces and specifications for the Smalltalk-80 collection classes. In Proc. OOPSLA’92, volume 27(10) of ACM SIGPLAN Notices, pages 1–15, 1992.
3. A. Frick, R. Neumann, and W. Zimmermann. Eine Methode zur Konstruktion robuster Klassenhierarchien. In Softwaretechnik 96, pages 16–23, 1996.
4. Lect Notes Comput Sci;J. He,1986
5. S. Helke. Maschinengestützte Analyse der Untertypbeziehungen zwischen Klassen der Eiffel Datenstrukturbibliothek. Master’s thesis, Dept. of Computer Science, Technical University of Berlin, 1998