A survey of resource allocation methods in optimizing microcode compilers. - Robert A. Mueller; Michael R. Duda; Stephen M. O'Haire (MICRO, 1984)

A case study in signal processing microprogramming using the URPR software pipelining technique. - Robert A. Mueller; Bogong Su; Michael R. Duda; Brian L. Plomondon (MICRO, 1986)

Formal Methods of Microcode Verification and Synthesis. - Robert A. Mueller; Michael R. Duda (IEEE Softw., 1986)

Horizon: A Retargetable Compiler for Horizontal Microarchitectures. - Robert A. Mueller; Michael R. Duda; Philip H. Sweany; Jack S. Walicki (IEEE Trans. Software Eng., 1988)