Formal semantics for the automated derivation of micro-code. - Robert A. Mueller; Joseph Varghese (DAC, 1982)

Global methods in the flow graph approach to retargetable microcode generation. - Robert A. Mueller; Joseph Varghese; Vicki H. Allan (MICRO, 1984)

The Complexity of Horizontal Word Encoding in Microprogrammed Machines. - Robert A. Mueller; Vicki H. Allan; Joseph Varghese (IEEE Trans. Computers, 1984)

Knowledge-Based Code Selection Methods in Retargetable Microcode Synthesis. - Robert A. Mueller; Joseph Varghese (IEEE Des. Test, 1985)

Retargetable Microcode Synthesis. - Robert A. Mueller; Joseph Varghese (ACM Trans. Program. Lang. Syst., 1987)

An efficient logic emulation system. - Joseph Varghese; Michael Butts; Jon Batcheller (IEEE Trans. Very Large Scale Integr. Syst., 1993)