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