Correction to "The Mpg System: A Machine-Independent Efficient Microprogram Generator" | IEEE Journals & Magazine | IEEE Xplore