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