Laura Semini Carlo Montangero A Refinement Calculus for Tuple Spaces. 79-140 1999 34 Sci. Comput. Program. 2 db/journals/scp/scp34.html#SeminiM99