The structure of typed programming languages - Schmidt, David A., 1953 May 10- (MIT Press, 1994)