I've found a high-level overview, which looks more like a plan of what they intended to do[0] and another article[1]. The latest article from the same authors I

I've found a high-level overview, which looks more like a plan of what they intended to do[0] and another article[1]. The latest article from the same authors I found is from 2015 [2], but I've failed to find the full text. Here are the contacts: В.П. КЛИМЕНКО*, А.Л. ЛЯХОВ**, Д.Н. ГВОЗДИК** *Институт проблем математических машин и систем НАН Украины 03187 г. Киев-187, пр. Глушкова, 42 тел.: +38-044-526-55-76, e-mail: klimenko@immsp.kiev.ua **Полтавский национальный технический университет им. Юрия Кондратюка 36011 г. Полтава, Первомайский проспект, 24 тел.: +38-053-256-98-02, e-mail: LAL@pntu.edu.ua; wedevelope@i.ua Sadly, Klimenko must be well over 80 years old now if he hasn't passed away. [0] https://cyberleninka.ru/article/n/reinzhiniring-sistemy-kompyuternoy-algebry-analitik/pdf https://cyberleninka.ru/article/n/reinzhiniring-sistemy-komp... [1] https://fizmat.smolgu.ru/images/stories/SCMP_2013/scmp-2010.pdf https://fizmat.smolgu.ru/images/stories/SCMP_2013/scmp-2010.... [2] https://reposit.nupp.edu.ua/bitstream/PoltNTU/4065/1/%D0%9C%D0%9E%D0%94%D0%A1%202015%20%D0%A1.413-415.pdf https://reposit.nupp.edu.ua/bitstream/PoltNTU/4065/1/%D0%9C%...