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. http://147.213.75.17/ojs/index.php/cai/article/view/621.