Foundations for Programming Languages: John C Mitchell - Mitchell, John C. (Cambridge : The MIT press, 1996)
Includes bibliographical references and index
Keywords: Programming languages (Electronic computers) Programmeertalen; Langages de programmation; Programmeertalen