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