EPTCS 55 - Refine 2011