"Modelos de Computação e Sistemas Formais" - читать интересную книгу автора (Roberto Lins de Carvalho, Claudia Maria Garcia Medeiros de Oliveira)