Syntactic coratrol of interference revisited (1994)

by P W O’HEARN, R D TENNENT