Automated proofs of microprogram correctnessW.H. JoynerW.C. Carteret al.1976MICRO Annual Workshop 1976