EPTCS 55 - 15. Refine@FM 2011