Григорьев, Михаил Викторович. Математическое моделирование верификации процесса разработки программного обеспечения: автореф. дис. ... канд. техн. наук: 05.13.18 / М. В. Григорьев; науч. рук. А. Г. Ивашко; Тюм. гос. ун-т , каф. информ. систем. — Тюмень, 2009. — Свободный доступ из сети Интернет (чтение). — <URL:https://library.utmn.ru/dl/abstract/05.13.18/1987.pdf>.