Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the joint european conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008: proceedings / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.