И.Б.Бурдонов, А.С.Косачев. Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 2. Условия конечного полного тестирования. «Вестник Томского государственного университета. Управление, вычислительная техника и информатика», №2, 2011, стр.89-98. 10 стр. doc, pdf, pdf_1, ppt