Text this: Lectures on a mathematical theory of computation /