Ward Douglas Maurer
-
Some correctness principles for machine language programs and microprograms
MICRO 7 Conference record of the 7th annual workshop on Microprogramming