Computation : Finite and infinite machines. - Prentice-Hall, 1967. - ( Prentice-Hall Series in Automatic Computation ).