- Sergey Dudakov, “On Safety of Unary and Non-unary IFP-operators”, Model. anal. inf. sist., 25, № 5, 2018, 525
- V Sekorin, “On equivalence of PFP-operator and PFP-quantifier”, J. Phys.: Conf. Ser., 1902, № 1, 2021, 012085
- S. M. Dudakov, “On Safety of Unary and Nonunary IFP Operators”, Aut. Control Comp. Sci., 53, № 7, 2019, 683