A technique of global optimization of microprograms. - Mario Tokoro; Takashi Takizuka; Eiji Tamura; Ichiro Yamaura (MICRO, 1978)