5 books • 1 series
Decomposability
Computer Security
ACM Turing Award Lectures (First Twenty Years: 1966 to 1985)
Computability Theory
Algebraic Theory of Automata