П. М. Тишин і А. С. Маковецкий, «Розробка моделі онтології діагностики розподілених інформаційних систем на основі багатосортової мови прикладної логіки», EEJET, т. 2, вип. 2(74), с. 21–26, Квіт 2015.