Boolean Difference for Fault Detection in Asynchronous Sequential Machines. - Mu Yue Hsiao; Dennis K. Chia (IEEE Trans. Computers, 1971)