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