마이크로 프로그램의 광역적 최적화 기법 ( A Technique of Global Optimization in Microprograms )