Гамаюн, И. П.; Коваль, Т. А. Библиотека основных функций логики программного обеспечения системы "Анелик&Quot;. SACIT 2017, 80-87.