S. Upendra Rao Arun K. Majumdar An Algorithm for Local Compaction of Horizontal Microprograms. 29-33 1985 20 Inf. Process. Lett. 1 db/journals/ipl/ipl20.html#RaoM85