Easily Testable Sequential Machines with Extra Inputs. - Hideo Fujiwara; Yoich Nagao; Tsutomu Sasao; Kozo Kinoshita (IEEE Trans. Computers, 1975)