"Computability and complexity theory" - читать интересную книгу автора (Homer S., Selman A.L.)