Integrating non-interfering versions of programs (1989)

by S HORWITZ, J PRINS, T REPS
Venue:ACM Transactions on Programming Languages and Systems