Andrew Butterfield Pawel Gancarski Jim Woodcock State Visibility and Communication in Unifying Theories of Programming. 47-54 2009 TASE http://dx.doi.org/10.1109/TASE.2009.57 conf/tase/2009 db/conf/tase/tase2009.html#ButterfieldGW09