SITNIKOVSKI, B. . BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES, [S. l.], v. 4, n. 4, p. 41–45, 2023. DOI: 10.17605/OSF.IO/X7654. Disponível em: https://cajmtcs.casjournal.org/index.php/CAJMTCS/article/view/420. Acesso em: 28 apr. 2026.