ABSTRACTION MECHANISMS AND LANGUAGE DESIGN - Hilfinger, Paul N. (Mit Press Cambridge, 1983)