Jean Hartmann David J. Robson Techniques for Selective Revalidation. 31-36 1990 7 IEEE Software 1 db/journals/software/software7.html#HartmannR90