PM: A Metrics Driven Plan Compiler. - Robert G. Reynolds; Jonathan I. Maletic; Stephen E. Porvin (SEKE, 1989)

PM: A System to Support the Automatic Acquisition of Programming Knowledge. - Robert G. Reynolds; Jonathan I. Maletic; Stephen E. Porvin (IEEE Trans. Knowl. Data Eng., 1990)

An empirical study of the use of problem reduction as a paradigm for problem solving in software engineering. - Stephen E. Porvin; Robert G. Reynolds; Jonathan I. Maletic (ACM Conference on Computer Science, 1991)

An object-oriented approach to the acquisition of software engineering knowledge. - Robert G. Reynolds; Jonathan I. Maletic; Stephen E. Porvin (ACM Conference on Computer Science, 1991)

Stepwise Refinement and Problem Solving. - Robert G. Reynolds; Jonathan I. Maletic; Stephen E. Porvin (IEEE Softw., 1992)