Test Generation for the Specification Written in Estelle. - Do Y. Lee; Jai-Yong Lee (PSTV, 1991)

Performance Comparison of Bridge Algorithms in Interconnected Local Area Networks. - Do Y. Lee; Jai-Yong Lee (Comput. Networks ISDN Syst., 1991)

A Well-Defined Estelle Specification for the Automatic Test Generation. - Do Y. Lee; Jai-Yong Lee (IEEE Trans. Computers, 1991)