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 November 7, 2024. http://147.213.75.17/ojs/index.php/cai/article/view/2020_1-2_193.