Louis J. Hafer Alice C. Parker Automated Synthesis of Digital Hardware. 93-109 1982 31 IEEE Trans. Computers 2 db/journals/tc/tc31.html#HaferP82