Mykyta Pugach and Iryna Zaretska (2024) “Development and implementation of a method for checking the integrity of the design of an object-oriented system”, Computer Science and Cybersecurity, (1), pp. 76-87. doi: 10.26565/2519-2310-2024-1-07.