Logic Circuit for Cycle Detection in a State Diagram. - Jerry Waxman; Jacob Rootenberg (IEEE Trans. Computers, 1977)