3 books • 2 series
Implementation of Functional Languages
Abstract Computing Machines (Texts in Theoretical Computer Science. An EATCS)
The Organization of Reduction, Data Flow and Control Flow Systems (Computer Systems)