Fundamentals of Computation Theory by Gheorghe Paun & G. Ciobanu