A method for synthesizing sequential circuits (1955)

by George Mealy
Venue:Bell System Tech nical Journal