Sitnikovski, Boro. “BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER”. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES 4, no. 4 (April 21, 2023): 41–45. Accessed July 22, 2026. https://www.cajmtcs.casjournal.org/index.php/CAJMTCS/article/view/420.