1. Diaz, M., et al.: Unified design of self-checking and fail-safe combinational circuits and sequential machines. IEEE Trans. Comput. C-28, 276–281 (1979)
2. Diaz, M., de Souza, J.M.: Design of self-checking microprogrammed controls. In: Digest of Papers 5th Int. FTCS, Paris, France, June 1975, pp. 137–142 (1975)
3. Greblicki, J.W.: Synthesis of sequential circuits using unordered codes. PhD thesis, Wroclaw University of Technology, Wroclaw (in polish) (October 2003)
4. Lecture Notes in Computer Science;J.W. Greblicki,1999
5. Greblicki, J.W.: CAD software for designing of totally self checking sequential circuits. In: DepCoS - RELCOMEX 2006, pp. 289–296. IEEE Comp. Society Press, Los Alamitos (2006)