Завантаження Kononenko_Formalising_2025.pdf...