Нікітченко, М., Шкільняк, С., & Омельчук, Л. (2006). Логіки, орієнтовані на специфікації програм. Інститут програмних систем НАН України.
Chicago-Zitierstil (17. Ausg.)Нікітченко, М.С, С.С Шкільняк, und Л.Л Омельчук. Логіки, орієнтовані на специфікації програм. Інститут програмних систем НАН України, 2006.
MLA-Zitierstil (8. Ausg.)Нікітченко, М.С, et al. Логіки, орієнтовані на специфікації програм. Інститут програмних систем НАН України, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.