Protsenko, V. 2023. Специфікація процедурної мови програмування. Наукові записки НаУКМА. Комп’ютерні науки. 5, (Лют 2023), 4–11. DOI:https://doi.org/10.18523/2617-3808.2022.5.4-11.