Palsberg and Schwartzbach, Object-Oriented Type Systems, Wiley, 1994. OOTS Errata.
Kozen, Palsberg, and Schwartzbach, Efficient Recursive Subtyping, Mathematical Structures of Computer Science (5)1:113-125, 1995 (ps).
Wand, A Simple Algorithm and Proof for Type Inference, Fundamenta Informaticae 10:115-122, 1987 (ps).
Heintze and McAllester, Linear-time Subtransitive Control Flow Analysis, in Proceedings of ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation, pages 261--272, 1997 (ps).