The Structure of Typed Promming Languages - SCHMIDT, DAVID A. (The MIT Press, 1994)