"Computation Engineering: Applied Automata Theory and Logic" - читать интересную книгу автора (Ganesh Gopalakrishnan)