"The Essence of Computation, Complexity, Analysis, Transformation" - читать интересную книгу автора (Torben Mogensen, David Schmidt, I. Hal Sudborough)