THEORY OF COMPUTING SYSTEMS (NEW YORK USA SPRINGER-VERLAG, 1966)