Module synthesis for finite state machines. - A. Kuehlmann; Yiannos Manoli (EURO-DAC, 1991)