Modern formal methods and applications / SpringerLink (Online service), 2006. - XXII, 197 p. - Текст : непосредственный.