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. [doi]
Conference: Refine2008
Abstract is missing.