An application of digital computers to the synthesis of certain classes of sequential logic circuits. - E. V. Krumm (1974)