“Development and implementation of a method for checking the integrity of the design of an object-oriented system”, CS&CS E-journal, no. 1, pp. 76–87, Sep. 2024, doi: 10.26565/2519-2310-2024-1-07.