MicroScope: Rule-Based Analysis of Programming Environments. - Jed J. Krohnfeldt; Robert R. Kessler (CAIA, 1985)

EPIC - a retargetable, highly optimizing Lisp compiler. - Robert R. Kessler; John C. Peterson; Harold Carr; Gerald P. Duggan; J. Knell; Jed J. Krohnfeldt (SIGPLAN Symposium on Compiler Construction, 1986)

A Logical Approach to Program Analysis. - Robert R. Kessler; Jed J. Krohnfeldt (LISP Symb. Comput., 1991)