ФОРМАЛІЗАЦІЯ ЯК МЕТОД ДОСЛІДЖЕННЯ ПРАВОВИХ ЯВИЩ

Бибик С. П. Словник іншомовних слів: тлумачення, словотворення та слововживання / С. П. Бибик, Г. М. Сюта; за ред. С. Я. Єрмолаєнко. – Харків: Прапор, 2012. – 623 с.
Бобик В. М. Політична праксеологія в системі політичних наук / В. М. Бобик // Політологічний вісник: зб. наук. пр. − К. : “ІНТАС”, 2009. − Вип. 41. – С. 94–112.
Вопленко М. В. Логико-семантические средства формализации текста в вопросно-ответной системе: дисс….канд. филос. наук.: 09.00.07 / Логика / М. В. Волченко; Московский университет им. М. В. Ломоносова. – М., 1984. – 167 с.
Гайвороновський В. М. Методологічне значення наукових юридичних понять / В. М. Гайворо¬новський // Методологічні проблеми правової науки: матер. Міжнар. конф. (Харків, 13–14 грудня 2002 р.) / упор. М. І. Панов, Ю. М. Грошевий. – Х.: Право, 2003. – С. 120–122.
Друковані засоби масової інформації: проблеми реєстрації: Роз’яснення Міністерства юстиції України від 3 квітня 2011 р. [Електронний ресурс]. – Режим доступу: http://zakon1.rada.gov.ua/laws/show/n0025323-11.
Дюжев Д. В. Логіка: навч. посіб. / Д. В. Дюжев; ДІРСП. – Донецьк: ТОВ “Східний видавничий дім”, 2010. – 258 с.
Загнітко А. П. Словник сучасної лінгвістики: поняття і терміни: у 4 т. – Т. 4 / А. П. Загнітко. – Донецьк: ДонНУ, 2012. – 388 с.
Ивин А. А., Никифоров А. Л. Словарь по логике. – М.: Туманит; изд. центр ВЛАДОС, 1997. – 384 с.
Кавелин К. Д. Что есть гражданское право и где его пределы? Одни из современных юридических вопросов. – СПб.: Тип. Академии наук, 1864. – 152 с.
Конверський А. Є. Логіка (традиційна та сучасна): підруч. для студ. вищих навч. закл. – К.: Центр учбової літератури, 2008. – 536 с.
Кузьмичёва А. А. Онто-гнесеологические аспекты концепции истины в точном знании: автореф. дис. ….д-р фил. наук.: 09.00.01 / А. А. Кузьмичёва. – Иркутский государственный университет. – И., 2002. – 40 с.
Метод формализации. – [Електронний ресурс]. – Режим доступу: http://kirki.ru/topic/metod-formalizacii-2/.
Николайчук Л. М. Формалізація та інформатизація юридичних знань на основі продукційних моделей та графів взаємодії суб’єктів юриспруденції / Л. М. Николайчук, О. П. Безштанько // Штучний інтелект. – 2008. – № 4. – С. 395–401.
Методичні вказівки з інспектування банків “Система оцінки ризиків”: Вказівки Національного банку України від 15 березня 2004 р. № 104. – [Електронний ресурс]. – Режим доступу: http://zakon1.rada.gov.ua/laws/show/v0104500-04.
Новий словник іншомовних слів: близько 40 000 сл. і словосполучень / Л. І. Шевченко, О. І. Ніка, О. І. Хом’як, А. А. Дем’янюк; за ред. Л. І. Шевченко. – К.: АРІЙ, 2008. – 672 с.
Про делегацію України на переговори з питання формалізації відносин Україна–НАТО (20 березня 1997 р., м. Брюссель, Бельгія): Розпорядження Президента України від 15 березня 1997 р. № 126/97-рп. [Електронний ресурс]. – Режим доступу: http://zakon1.rada.gov.ua/laws/show/126/97-%D1%80%D0%BF.
Про Державну програму економічного і соціального розвитку України на 2010 рік: закон України від 20 травня 2010 р. № 2278-VI // Офіційний вісник України. – 2010. - № 49. – Ст. 1602.
Про Державну програму співробітництва України з Організацією Північноатлантичного Договору (НАТО) на 2001–2004 роки: Указ Президента України від 27 січня 2001 р. № 58/2001 // Офіційний вісник України. – 2001. – № 5. – Ст. 175.
Про затвердження Державного стандарту базової і повної загальної середньої освіти: Постанова Кабінету Міністрів України від 23 листопада 2011 р. № 1392 // Офіційний вісник України. – 2012. – № 11. – Ст. 400.
Про затвердження Положення про інформаційно-пошукову систему “Скорпіон” Головного управління по боротьбі з організованою злочинністю МВС України: Наказ Міністерства внутрішніх справ України від 24 вересня 2012 р. № 825 // Офіційний вісник України. – 2012. – № 82. – Ст. 3309.
Про Програму створення Урядової інформаційно-аналітичної системи з питань надзвичайних ситуацій на 1996 рік: Постанова Кабінету Міністрів України від 16 січня 1996 р. № 96. [Електронний ресурс]. – Режим доступу: http://zakon1.rada.gov.ua/laws/show/96-96-%D0%BF.
Про створення у Верховній Раді України п’ятого скликання Коаліції демократичних сил. Угода про створення Коаліції демократичних сил у Верховній Раді України V скликання від 22 червня 2006 р. // Голос України від 24 червня 2006. – № 115.
Проблемні питання застосування законодавства у справах за участю органів державної податкової служби: Лист Вищого адміністративного суду України від 20 липня 2000 р. № 1112/11/13-10 // Все про бухгалтерський облік. – 2010. – № 116.
Проблемы предметной области. Информатика. Формализация и моделирование. [Електронний ресурс]. – Режим доступу: www.orenipk.ru/kp/distant_vk/docs/2_1_1/inf/inf_form.html.
Решение Европейского суда по правам человека “Голдер (Golder) против Соединенного Королевства” от 21 февраля 1975 г. // http://zakon4.rada.gov.ua/laws/show/980_086.
Рішення Економічної ради Співдружності Незалежних Держав про проект Стратегії співробітництва держав–учасниць СНД в галузі інформатизації та проект Плану дій з реалізації Стратегії співробітництва держав–учасниць СНД в галузі інформатизації на період до 2010 року від 30 червня 2006 р. [Електронний ресурс]. – Режим доступу: http://zakon4.rada.gov.ua/laws/show/997_e16.
Семиотика: учеб. пособ. к лекционным занятиям для студ. спец. “Теоретическая и прикладная лингвистика” / сост. И. В. Арзамасцева. – Ульяновск: УлГТУ, 2009. – 89 с.
Синиця А. С. Логіка: навч. посіб. для студ. вищ. навч. закл. / А. С. Синиця. – Л.: ЛДУФК, 2012. – 235 с.
Сумарокова Л. М. Основи логіки: навч. посіб. для юрид. вузів / Л. М. Сумарокова. – Одеса: Фенікс, 2011. – 236 с.
Сырых В. М. Логические основания общей теории права: в 2 т. – Т. 1: Элементный состав. – 2-е изд., испр. и доп. – М.: Юридический Дом “Юстицинформ”, 2001. – 528 с.
Тарабанов Н. А. Основные направления исследований в компьютерной семиотике / Н.А. Тарабанов // Гуманитарная информатика. – 2011. – Вып. 6. – С. 101–109.
Тофтул-Правиленко М. Г. Словник логічних термінів. – Житомир: Вид-во ЖДУ ім. І. Франка, 2009. – 204 с.
Философия: энциклопедический словарь / под ред. А. А. Ивина. – М.: Гардарики, 2004. – 1072 с. – [Електронний ресурс]. – Режим доступу: http://fidel-kastro.ru/filosofy/ihtik_ivin_slovar.htm.
Фогельсон Ю. Б. Избранные вопросы общей теории обязательств: курс лекций. – М., 2001. – 152 с.
Чернобель Г. Т. Формализация норм права // Советское государство и право. – 1979. – № 4. – С. 29–36.
Энциклопедия эпистемологии и философии науки / сост. и общ. ред. И. Т. Касавин. – М.: “Канон+” РООИ “Реабилитация”, 2009. – 1248 с.