Sitnikovski, B. . BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER. CAJMTCS 2023, 4, 41-45.