Object-oriented type systems - Palsberg, Jens, 1964- (John Wiley & Sons, 1994)