Han har vært medforfatter av bøkene The Turing Programming Language: Design and Definition (1988), Introduction to Compiler Construction Using S/SL (1986), The Smart Internet (2010) og The Personal Web (2013).