Protsenko, V. Специфікація процедурної мови програмування. NRPCOMP 2023, 5, 4-11.