The structure of computers and computations - Kuck, David J. (Wiley, 1978)