C. V. Ramamoorthy, K. S. Shankar. Correctness and equivalence of straight line microprograms. In Richard E. Merwin, Louise H. Jones, Allen B. Tucker, editors, Conference record of the 6th annual workshop on Microprogramming, MICRO 1973, College Park, Maryland, USA, September 24-25, 1973. pages 1-12, ACM, 1973. [doi]
Abstract is missing.