Львов, М.С. «Методы генерации учебных примеров программ с нетривиальными полиномиальными инвариантами». Eastern-European Journal of Enterprise Technologies 2, no. 4(44) (Квітень 6, 2010): 28–31. дата звернення Грудень 21, 2025. https://journals.uran.ua/eejet/article/view/2649.