Shilov N. On the need of ontology for classification and navigation in the computer languages universe // # 13, 2018
Gnatenko A., Zakharov V. Using an extensions of CTL* for specification and verification of sequential reactive systems // # 17, 2020
