W. D. Maurer. Some correctness principles for machine language programs and microprograms. In J. Michael Galey, C. V. Ramamoorthy, editors, Conference record of the 7th annual workshop on Microprogramming, MICRO 1974, Palo Alto, California, USA, September 30 - October 2, 1974. pages 225-234, ACM, 1974. [doi]
Abstract is missing.