Jonathan Eifrig Scott F. Smith Valery Trifonov Amy E. Zwarico Application of OOP Type Theory: State, Decidability, Integragtion. 16-30 1994 OOPSLA db/conf/oopsla/oopsla94.html#EifrigSTZ94