Toward a mathematical theory of graph-generative systems and its applications. - Peter A. Ng; Sung Y. Bang (Inf. Sci., 1976)

Another Approach for Proving Program Correctness. - Peter A. Ng; Sung Y. Bang (MFCS, 1977)

Protocol validation by synthesizing communications system behaviors. - Sung Y. Bang; Peter A. Ng; Paul K. Blackwell (Inf. Sci., 1981)