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 April 30, 2025. https://www.cai.sk/ojs/index.php/cai/article/view/2020_1-2_193.