V. R. Prasad Interference-Freedom in Proofs of CSP Programs. 79-86 1984 ICDCS db/conf/icdcs/icdcs84.html#Prasad84