ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes. - Mahesh H. Dodani; Chung-Shin Tsai (ECOOP, 1992)

A reliable and flexible type system for object-oriented programming. - Mahesh H. Dodani; Chung-Shin Tsai (Object Oriented Syst., 1996)