FINITE-STATE MODELS FOR LOGICAL MACHINES - Hennie, Frederick C. (New York Wiley, 1968)
Keywords: Sequential Machine Theory