Design and validation of computer protocols. - Prentice-Hall, 1991. - (Prentice-Hall Software Series).
UNIX system. Administration handbook. - Prentice-Hall, 1989. - (Prentice-Hall Software Series).
Computer networks. 2nd edition. - Prentice-Hall, 1989. - (Prentice-Hall Software Series).
Minix binaries and sources, for IBM PC/AT's. (boot diskette, 5 disks). - Prentice-Hall, 1987. - (Prentice-Hall Software Series).
Operating systems: design and implementation. - Prentice-Hall, 1987. - (Prentice-Hall Software Series).
Operating system design, the Xinu approach. - Prentice-Hall, 1984. - (Prentice-Hall Software Series).
Ada, an advanced introduction. - Prentice-Hall, 1983. - (Prentice-Hall Software Series).
Programming with ADA: an introduction by means of graduated examples. - Prentice-Hall, 1980. - (Prentice-Hall Software Series).