The structure of typed programming languages
Schmidt, David A. cop. 1994