Yuan J. Constraint-based verification / J. Yuan, A. Aziz, C. Pixley, 2006 r=on-line. - Текст : электронный.