A totally self-checking checker for Borden's code | IEEE Journals & Magazine | IEEE Xplore