Мараховский, Вячеслав Борисович. Теория логического проектирования [Электронный ресурс]: курс лекций / В. Б. Мараховский; Санкт-Петербургский государственный политехнический университет. — Электрон. текстовые дан. (1 файл : 3,42 Мб). — СПб., 2010. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — pdf. — Adobe Acrobat Reader 6.0. — <URL:http://elib.spbstu.ru/dl/1945.pdf>.