Test-Set Preserving Logic Transformations. - Michael J. Batek; John P. Hayes (DAC, 1992)

Optimal Testing and Design of Adders. - Michael J. Batek; John P. Hayes (VLSI Design, 1994)

Test-driven transformations in logic design. - Michael J. Batek (1995)