Well-formedness checking algorithm of interface automaton and its realization
LI Xue, ZHU Jiagang
Journal of Computer Applications . 2017, (2): 574 -580 .  DOI: 10.11772/j.issn.1001-9081.2017.02.0574