Steve Dunne Stacey Conroy Process Refinement in B. 45-64 2005 conf/zum/2005 ZB http://dx.doi.org/10.1007/11415787_4 db/conf/zum/zb2005.html#DunneC05