Гук, Олег, Федір Матіко, і Павло Скібель. 2025. «Features of Automation of Gas Meter Verification Process Using Bell-Provers». Моделювання, керування та інформаційні технології, вип. 8 (Листопад):359-61. https://doi.org/10.31713/MCIT.2025.111.