A Procedure for Automatic Microprogram Synthesis Using E-Unification. - Kinoshita, Takafumi; Imai, Masaharu; Naoi, Tohru (Systems & Computers in Japan, 1994)