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
@proceedings{refine-2005, title = {Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005}, year = {2005}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/137/issue/2}, researchr = {https://researchr.org/publication/refine-2005}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005}, conference = {Refine}, editor = {John Derrick and Eerke A. Boiten}, volume = {137}, number = {2}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, }