Krawczyk, H., B. Wiszniewski, P. Kuzora, M. Neyman, and J. Proficz. “Integrated Static and Dynamic Analysis of PVM Programs With STEPS”. Computing and Informatics 17, no. 5 (March 5, 2012): 441–453. Accessed April 30, 2025. https://www.cai.sk/ojs/index.php/cai/article/view/621.