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