Sitnikovski, B. 2023. BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES. 4, 4 (Apr. 2023), 41–45. DOI:https://doi.org/10.17605/OSF.IO/X7654.