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