Title: Foundations of computation theory
First published: 1991