Computation structures - Ward, Stephen A. (The MIT Press McGraw-Hill Book Company, 1990)