TS: An Optimizing Compiler for Smalltalk. - Ralph E. Johnson; Justin O. Graver; Lawrence W. Zurawski (OOPSLA, 1988)

Type checking and type inference for object-oriented programming languages - Justin O. Graver (1989)

A Type System for Smalltalk. - Justin O. Graver; Ralph E. Johnson (POPL, 1990)

The Evolution of an Object-orietented Compiler Framework. - Justin O. Graver (Softw. Pract. Exp., 1992)