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