Glasser M. Open verification methodology cookbook / M. Glasser, 2009 r=on-line. - Текст : электронный.