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