В. С. Проценко, «Денотаційна семантика одновимірних масивів», NRPCOMP, т. 8, с. 149–157, Лис 2025.