Computation Structures by Robert H. Halstead & Stephen A. Ward