A method for revalidating modified programs in the maintenance phase (1987)

by S S Yau, Z Kishimoto