Calculating Resetability and Reset Sequences. - Carl Pixley; Gary Beihl (ICCAD, 1991)

Automatic Derivation of FSM Specification to Implementation Encoding. - Carl Pixley; Gary Beihl; Ernesto Pacas-Skewes (ICCD, 1991)