Методи формального опису систем управління повноваженнями на основі використання математичної логіки - Дурняк, Б.В.; Сабат, В.І.; Шведова, Л.Є. (Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України, 2010)