For citations:

Nazarov A.G., Klimushenkova M.A., Dovgaluk P.M., Makarov V.A. Raising the level of abstraction of program execution trace. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2012;23. (In Russ.) https://doi.org/10.15514/ISPRAS-2012-23-6