Text this: Outline of a mathematical theory of computation /