Kryvolap, Andrii, et al. “Frame Rule in Monotone Floyd – Hoare Logic Extension”. Bulletin of Taras Shevchenko National University of Kyiv. Physics and Mathematics, vol. 82, no. 1, June 2026, pp. 218-24, https://doi.org/10.17721/1812-5409.2026/1.29.