Software tools to support formal methods. - Patrick J. McParland (1989)

Using knowledge-based transformations to reverse-engineer COBOL programs. - Terence J. Harmer; Patrick J. McParland; James M. Boyle (KBSE, 1996)

Applications of the TAMPR Transformation System. - Terence J. Harmer; Patrick J. McParland; James M. Boyle (IWFM, 1998)

Transformations to Restructure and Re-engineer COBOL Programs. - Terence J. Harmer; Patrick J. McParland; James M. Boyle (Autom. Softw. Eng., 1998)