Program Specialization via Program Slicing. - Thomas W. Reps; Todd Turnidge (Dagstuhl Seminar on Partial Evaluation, 1996)

On the Animation of "not Executable" Specifications by Prolog. - Leon Sterling; Paolo Ciancarini; Todd Turnidge (Int. J. Softw. Eng. Knowl. Eng., 1996)