An efficient for the sequential general decomposition of sequential machines. - Lech Józwiak; J. C. Kolsteren (Microprocessing and Microprogramming, 1991)