John Derrick Eerke A. Boiten Steve Reeves Proceedings 15th International Refinement Workshop Refine http://dx.doi.org/10.4204/EPTCS.55 2011 EPTCS 55 db/series/eptcs/eptcs55.html