- Program Flow Analysis: Theory and Applications (Prentice-Hall Software Series)
- Computability and Complexity: From a Programming Perspective (Foundations of Computing)
- Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
- Computability Theory: An Introduction
- Partial Evaluation and Automatic Program Generation (Prentice-Hall International Series in Computer Science)