VisiCLANG - a visible compiler for CLANG. - R. Daniel Resler; Keith O'Sullivan (ACM SIGPLAN Notices, 1990)

An investigation into generating readable software from logic specifications. - R. Daniel Resler (1991)

Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. - James M. Boyle; R. Daniel Resler; Victor L. Winter (HASE, 1997)

A Study in Generating Readable Modula-2 from Prolog. - R. Daniel Resler; Danny Crookes (Informatica (Slovenia), 1997)

VCOCO: a visualisation tool for teaching compilers. - R. Daniel Resler; Dean M. Deaver (ITiCSE, 1998)

Do You Trust Your Compiler? - James M. Boyle; R. Daniel Resler; Victor L. Winter (Computer, 1999)

A Program-Algebraic Approach to Eliminating Common Subexpressions. - James M. Boyle; R. Daniel Resler (Informatica (Slovenia), 2000)

Register allocation: A program-algebraic approach. - R. Daniel Resler; James M. Boyle (Informatica (Slovenia), 2001)

A higher-order strategy for eliminating common subexpressions. - R. Daniel Resler; Victor L. Winter (Comput. Lang. Syst. Struct., 2009)