De Nicola, Rocco and Pugliese, Rosario and Rowstron, Antony I. T. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2000). Lecture Notes in Computer Science, 1906 . Springer, pp. 66-80. ISBN 3-540-41020-1 (2000)