Educating model-based software engineers. - Paul D. Bailor; Thomas C. Hartrum (CSEE, 1992)

Putting the Engineering into Software Engineering - A Tutorial for the Sixth SEI Conference on Software Engineering Education. - Richard D'Ippolito; Kenneth J. Lee; Charles Plinta; Jeffrey A. Stewart; Paul D. Bailor; Thomas C. Hartrum (CSEE, 1992)

Educating knowledge-based software engineers. - Paul D. Bailor (KBSE, 1992)

An experiment in applying knowledge-based software engineering technology. - Paul D. Bailor; Frank Young; Kim Kanzaki (KBSE, 1993)

Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies. - Thomas C. Hartrum; Paul D. Bailor (CSEE, 1994)

Representing Object Models as Theories. - Scott A. DeLoach; Paul D. Bailor; Thomas C. Hartrum (KBSE, 1995)

Synthesis of local search algorithms by algebraic means. - Robert P. Graham Jr.; Paul D. Bailor (KBSE, 1996)