Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Easily testable PLA-based finite state machines. FTCS 1989: 102-109