Нікітченко, М., Шкільняк, С., & Омельчук, Л. (2006). Логіки, орієнтовані на специфікації програм. Інститут програмних систем НАН України.
Чикаго стиль цитування (17-те видання)Нікітченко, М.С, С.С Шкільняк, та Л.Л Омельчук. Логіки, орієнтовані на специфікації програм. Інститут програмних систем НАН України, 2006.
Стиль цитування MLA (8-ме видання)Нікітченко, М.С, et al. Логіки, орієнтовані на специфікації програм. Інститут програмних систем НАН України, 2006.
Попередження: стилі цитування не завжди правильні на всі 100%.