Computation engineering applied automata theory and logic - Gopalakrishnan, Ganesh (Springer Science+Business Media Inc. New York, 2006)
Keywords: Computer Science -- Mathematics; Computer Logic; Machine Theory