Norihisa Suzuki Inferring Types in Smalltalk. 187-199 1981 POPL db/conf/popl/popl81.html#Suzuki81