Title: An application of digital computers to the synthesis of certain classes of sequential logic circuits
First published: 1974