Schmidt, David A.1953 May 10BooksThe essence of computationThe structure of typed programming languagesDenotational semanticsAuthor data: Open Library