Irredundant sequential machines via optimal logic synthesis.

Srinivas DevadasHi-Keung Tony MaA. Richard NewtonAlberto L. Sangiovanni-Vincentelli
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1990)