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 19, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/621.