A method for synthesizing sequential circuits (1955)

by G H Mealy
Venue:Bell System Technical Journal