Пинько, О. (2003). Секвенціальні системи виведення для багатозначних логік. Інститут проблем математичних машин і систем НАН України.
Чикаго стиль цитування (17-те видання)Пинько, О.П. Секвенціальні системи виведення для багатозначних логік. Інститут проблем математичних машин і систем НАН України, 2003.
Стиль цитування MLA (8-ме видання)Пинько, О.П. Секвенціальні системи виведення для багатозначних логік. Інститут проблем математичних машин і систем НАН України, 2003.
Попередження: стилі цитування не завжди правильні на всі 100%.