Computer science logic : 22nd International workshop, CSL 2008, 17th Annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008: proceedings / ed.: M. Kaminski, S. Martini, 2008 r=on-line. - Текст : электронный.
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / ed. O. Grumberg [et al.], 2009 r=on-line. - Текст : электронный.