H. Allen Curtis: Systematic Procedures for Realizing Synchronous Sequential Machines Using Flip-Flop Memory: Part II. IEEE Trans. Computers 19(1): 66-73 (1970)