The Formal Optological Models in the Scientific Researches - S. L. Kryvyj (Control Systems and Computers, 2016)