Xiang, Dongming, and Guanjun Liu. “Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net”. COMPUTING AND INFORMATICS 39, no. 1-2 (February 29, 2020): 193–212. Accessed May 3, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/2020_1-2_193.