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