И. Агафонова, “КОМПЬЮТЕРНАЯ ПОДДЕРЖКА КУРСА ВЫСШЕЙ МАТЕМАТИКИ В СРЕДЕ "VERIFIER"”, CTE, no. 1, Jan. 2014.