V. Protsenko, «Специфікація процедурної мови програмування», NRPCOMP, т. 5, с. 4–11, Лют 2023.