William H. Joyner Jr., William C. Carter, George B. Leeman Jr.. Automated proofs of microprogram correctness. In Proceedings of the 9th annual workshop on Microprogramming, MICRO 1976, New Orleans, Louisiana, USA, September 27-29, 1976. pages 51-55, ACM, 1976. [doi]
Abstract is missing.