Jürgen Dingel A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. 123-197 2002 14 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s001650200032 db/journals/fac/fac14.html#Dingel02