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