Xiang, D., & Liu, G. (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