Theory of machines and computations - Kohavi, Zvi; Paz, Azaria (Academic Press Inc, 1971)