- Digital Typography Using LaTeX
- TeX, XML, and Digital Typography: International Conference on TEX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TEX User ... (Lecture Notes in Computer Science)
- Steps in Scala
- Theory of Fuzzy Computation
- Hypercomputation: Computing Beyond the Church-Turing Barrier (Monographs in Computer Science)