Новый математический аппарат для анализа внешнего поведения и верификации программ : Препринт / Н.А.Абрамова,Т.С.Баталина,Н.А.Гегамов,С.В.Коврига, 1998. - 109 с. - Текст : непосредственный.