Computation structures - Ward, Stephen A; Halstead, Robert H., Jr (The MIT Press, 1989)