М. Львов, «Методы генерации учебных примеров программ с нетривиальными полиномиальными инвариантами», EEJET, т. 2, вип. 4(44), с. 28–31, Квіт 2010.