Techniques for selective revalidation (1990)

by J Hartmann, D Robson
Venue:Software, IEEE