Computation structures / - Ward, Stephen A. (MIT Press ;, 1990)