Sitnikovski, B. . “BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER”. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES, vol. 4, no. 4, Apr. 2023, pp. 41-45, doi:10.17605/OSF.IO/X7654.