Concise guide to computation theory (2011)