- Eerke A. Boiten, John Derrick, Gerhard Schellhorn, editors, Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008. Volume 214 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008.
- Eerke A. Boiten, John Derrick, Graeme Smith 0001, editors, Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007. Volume 201 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008.