Alan Wills. Capsules and Types in Fresco: Program Verification in Smalltalk. In Pierre America, editor, ECOOP 91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings. Volume 512 of Lecture Notes in Computer Science, pages 59-76, Springer, 1991. [doi]
Abstract is missing.