A formal treatment of interference in remote procedure calls - Pappalardo, Giuseppe; Shrivastava, Santosh K. (Computing Laboratory <Newcastle-upon-Tyne>: Technical report series, 1988)