PolyTOIL: A type-safe polymorphic object-oriented language (1995)

by Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent