On the Design of Easily Testable Sequential Machines J. Richard Kane Stephen S. Yau 38-42 conf/focs/FOCS12 1971 SWAT (FOCS) db/conf/focs/focs71.html#KaneY71 http://doi.ieeecomputersociety.org/10.1109/SWAT.1971.22