Krawczyk, H., Wiszniewski, B., Kuzora, P., Neyman, M., & Proficz, J. (2012). Integrated static and dynamic analysis of PVM programs with STEPS. Computing and Informatics, 17(5), 441–453. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/621