A Unified Approach to Input-Output Encoding for FSM State Assignment. - Maciej J. Ciesielski; Jia-Jye Shen; Marc Davio (DAC, 1991)