Shilov N. On the need of ontology for classification and navigation in the computer languages universe // # 13, 2018
Ishchenko A. Enhancing Verification Condition Generation for Reflex Programs Through Simple Static Analysis // # 25, 2024
