Wilfried Rottmann. MIKADO - a system for computer aided microprogram design. 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 195-202, ACM, 1974. [doi]
Abstract is missing.