The structure of typed programming languages - Schmidt, David A. (The MIT Press [i.e.] Massachusetts Institute of Technology, 1994)