Resistance to Interference permit only one of which is active on a list at once. However, SETL allows robust iteration using the languages' strict value semantics (1993)

by B Chapter