- Eerke A. Boiten, John Derrick, Steve Reeves, editors, Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009. Volume 259 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009.