Programming languages and systems : 18th european symposium on programming, ESOP 2009, held as part of the joint european conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009: proceedings / ed. G. Castagna, 2009 r=on-line. - Текст : электронный.