Курочка, К. С. Автоматизированное распараллеливание программ для многоядерных процессоров с использованием полиэдральной модели / К. С. Курочка, И. Л. Стефановский // XI Белорусская математическая конференция : тезисы докладов Международной научной конференции, Минск, 04–09 ноября 2012 года. – Минск : Институт математики НАН Беларуси, 2012. – Часть 3. – С. 12.