On Totally Self-Checking Checkers for Separable Codes. - Mohammad Javad Ashjaee; Sudhakar M. Reddy (IEEE Trans. Computers, 1977)