B. . Sitnikovski, “BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER”, CAJMTCS, vol. 4, no. 4, pp. 41–45, Apr. 2023.