"Computation engineering: applied automata theory and logic" - читать интересную книгу автора (Ganesh Gopalakrishnan)