Finite-state models for logical machines - Hennie, Frederick C. (Wiley, 1968)