Title: Fundamentals of computation theory
First published: 1977
Subjects: Machine theory, Computational complexity, Categories (Mathematics), Congresses, Recursion theory