X. He

Structured analysis using hierarchical predicate transition nets

X. He, C.-H. Yang, Xudong He, 1992, [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference.