A. Kryvolap, O. Shyshatska, and N. Rusina, “Frame rule in monotone Floyd – Hoare logic extension”, BTSNUKPhM, vol. 82, no. 1, pp. 218–224, Jun. 2026, doi: 10.17721/1812-5409.2026/1.29.