Unifying theories of programming : second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008: revised selected papers / ed. A. Butterfield, 2010 r=on-line. - Текст : электронный.
Implementation and application of functional languages : 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005: revised selected papers / ed. A. Butterfield, 2006 r=on-line. - Текст : электронный.