The Analysis and Synthesis of Jazz by Computer. - John Wade Ulrich (IJCAI, 1977)

Program synthesis by analogy. - John Wade Ulrich; Robert Moll (Artificial Intelligence and Programming Languages, 1977)

The Synthesis of Programs by Analogy. - Robert Moll; John Wade Ulrich (IJCAI, 1979)

The derivation of microcode by symbolic execution. - John Wade Ulrich (MICRO, 1980)

IDT: An Intelligent Diagnostic Tool. - Hal Shubin; John Wade Ulrich (AAAI, 1982)