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