Results in Knowledge-Based Program Synthesis. - C. Cordell Green; Richard P. Gabriel; Elaine Kant; Beverly I. Kedzierski; Brian P. McCune; Jorge V. Phillips; Steve Tappel; Stephen J. Westfold (IJCAI, 1979)

Very-High-Level Programming of Knowledge Representation Schemes. - Stephen J. Westfold (AAAI, 1984)

Logic specifications for compiling. - Stephen J. Westfold (1984)

Research on Knowledge-Based Software Environments at Kestrel Institute. - Douglas R. Smith; Gordon Kotik; Stephen J. Westfold (IEEE Trans. Software Eng., 1985)

Knowledge-Based Software Development from Requirements to Code. - Stephen J. Westfold; Lawrence Markosian; William A. Brew (System Development and Ada, 1986)

Scheduling an Asynchronously Shared Resource. - Douglas R. Smith; Stephen J. Westfold (CP, 1996)

Synthesis of schedulers for planned shutdowns of power plants. - Carla P. Gomes; Douglas R. Smith; Stephen J. Westfold (KBSE, 1996)

A Transformational Approach Applied to Outage Management of Nuclear Power Plants. - Carla P. Gomes; Douglas R. Smith; Stephen J. Westfold (HICSS (5), 1997)

Planware - Domain-Specific Synthesis of High-Performance Schedulers. - Lee Blaine; Limei Gilham; Junbo Liu; Douglas R. Smith; Stephen J. Westfold (ASE, 1998)

Synthesis of efficient constraint-satisfaction programs. - Stephen J. Westfold; Douglas R. Smith (Knowl. Eng. Rev., 2001)

Derivation of Glue Code for Agent Interoperation. - Mark H. Burstein; Drew V. McDermott; Douglas R. Smith; Stephen J. Westfold (Auton. Agents Multi Agent Syst., 2003)

Transformations for Generating Type Refinements. - Douglas R. Smith; Stephen J. Westfold (FM Workshops (2), 2019)

Isomorphic Data Type Transformations. - Alessandro Coglio; Stephen J. Westfold (ACL2, 2020)

Syntheto: A Surface Language for APT and ACL2. - Alessandro Coglio; Eric McCarthy; Stephen J. Westfold; Daniel Balasubramanian; Abhishek Dubey; Gabor Karsai (ACL2, 2022)