Litovchenko P. І.; Nechiporenko, V. M. ПРО ПІДВИЩЕННЯ ЕФЕКТИВНОСТІ ТА РІВНЯ ФОРМАЛІЗАЦІЇ АВТОМАТИЗОВАНОГО РОЗРАХУНКУ ПОСАДОК З НАТЯГОМ. ЗНП НАНГУ 2019, 2, 81-87.