Алексеєв, В., & Терещенко, В. (2009). Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації. Інститут програмних систем НАН України.
Chicago-Zitierstil (17. Ausg.)Алексеєв, В.А, und В.С Терещенко. Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації. Інститут програмних систем НАН України, 2009.
MLA-Zitierstil (8. Ausg.)Алексеєв, В.А, und В.С Терещенко. Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації. Інститут програмних систем НАН України, 2009.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.