selected publications academic article Processor control part synthesis using effective partitioning algorithms. Microprocessing and Microprogramming. 23:33-36. 1988