Strongtalk: Typechecking Smalltalk in a Production Environment. - Gilad Bracha; David Griswold (OOPSLA, 1993)