МАТИЯСЕВИЧ, Ю. Алгоритм Тарского. Computer Tools in Education, n. 6, 21 Jan. 2014.