Lambda-calculus models of programming languages - Morris, James H. (Project MAC, Mass. Inst. of Technology, 1968)
Zugl.: Diss., 1968. - Kopie, erschienen bei National Techn. Information Service, Springfield, Va.