Object-oriented type systems - Palsberg, Jens, 1964- (Wiley professional computing, 1994)