Ralph E. Johnson Type-Checking Smalltalk. 315-321 1986 conf/oopsla/1986 OOPSLA db/conf/oopsla/oopsla86.html#Johnson86 http://doi.acm.org/10.1145/28697.28728