Illustrating Interference in Interfering Versions of Programs. - Thomas W. Reps; T. Bricker (SCM, 1989)