Paper by Saleor
II0011 индуктивный IFM | ТЗС