Fundamentals of Computation Theory by R. Freivalds