Publishing
Gerard J. Holzmann
NASA personnel
Computer programmers
Prentice Hall
Brian Kernighan
CAT
Unix
VAX
Computing
Computer architecture
Typesetting