"Capsules and Types in Fresco: Program Verification in Smalltalk."

Alan Wills (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics