A Type Declaration and Inference System for Smalltalk.

Alan Borning Daniel H. H. Ingalls A Type Declaration and Inference System for Smalltalk. 133-141 1982 POPL db/conf/popl/popl82.html#BorningI82 POPL/00001539.PDF