Theoretical computer science : 9th italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.