Алексеєв, В., & Терещенко, В. (2009). Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації. Інститут програмних систем НАН України.
Чикаго стиль цитування (17-те видання)Алексеєв, В.А, та В.С Терещенко. Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації. Інститут програмних систем НАН України, 2009.
Стиль цитування MLA (8-ме видання)Алексеєв, В.А, та В.С Терещенко. Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації. Інститут програмних систем НАН України, 2009.
Попередження: стилі цитування не завжди правильні на всі 100%.