Theory of Computing Systems (Springer New York, 1966)