Гук, Олег, Федір Матіко, і Павло Скібель. «Features of Automation of Gas Meter Verification Process Using Bell-Provers». Моделювання, керування та інформаційні технології, no. 8 (Листопад 6, 2025): 359–361. дата звернення Квітень 25, 2026. https://mcitjournal.org.ua/index.php/MCIT/article/view/663.