Computation structures - Ward, Stephen A. (The MIT electrical engineering and computer science series, 1990)