Krawczyk, H., B. Wiszniewski, P. Kuzora, M. Neyman, and J. Proficz. 2012. “Integrated Static and Dynamic Analysis of PVM Programs With STEPS”. COMPUTING AND INFORMATICS 17 (5):441-53. https://www.cai.sk/ojs/index.php/cai/article/view/621.