John Derrick, Eerke A. Boiten, editors, Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005. Volume 137 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
Conference: Refine2005
Abstract is missing.