Advanced programming language design - Finkel, Raphael A. 1951- (Addison-Wesley, 1996)