Design of a Self-Checking Microprogram Control. - Robert W. Cook; William H. Sisson; Thomas F. Storey; Wing N. Toy (IEEE Trans. Computers, 1973)