Formal Specification of Programming Languages: A Panoramic Primer (Prentice-Hall software series)

Unix Programming Environment (Prentice-Hall Software Series)

Writing Efficient Programs (Prentice-Hall Software Series)

Prentice Hall

Compiler Design in C (Prentice-Hall software series)

Elements of the Theory of Computation (Prentice-Hall Software Series)

Systematic Programming: An Introduction (Prentice-Hall Series in Automatic Computation)