Element 'Mathematical theory of computation.'