Львов, М. (2010). Методы генерации учебных примеров программ с нетривиальными полиномиальными инвариантами. Eastern-European Journal of Enterprise Technologies, 2(4(44), 28–31. https://doi.org/10.15587/1729-4061.2010.2649