Xiang, Dongming, and Guanjun Liu. 2020. “Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net”. COMPUTING AND INFORMATICS 39 (1-2):193-212. https://doi.org/10.31577/cai_2020_1-2_193.