Mykyta Pugach, and Iryna Zaretska. “Development and Implementation of a Method for Checking the Integrity of the Design of an Object-Oriented System”. Computer Science and Cybersecurity, no. 1, Sept. 2024, pp. 76-87, doi:10.26565/2519-2310-2024-1-07.