Type-Checking Smalltalk. - Sophia Drossopoulou; Stephan Karathanos; Dan Yang (J. Object Oriented Program., 1996)