Network protocol: A structured approach. - Tat Y. Choi; Raymond E. Miller (ACM Annual Conference, 1983)

A decomposition method for the analysis and design of finite state protocols. - Tat Y. Choi; Raymond E. Miller (SIGCOMM, 1983)

Formal techniques for the specification, verification and construction of communication protocols. - Tat Y. Choi (IEEE Commun. Mag., 1985)

Protocol Analysis and Synthesis by Structured Partitions. - Tat Y. Choi; Raymond E. Miller (Comput. Networks, 1986)

Multimedia Technology and Cost Savings in Hotel Applications. - Tat Y. Choi; Robert Law (Multimedia Technology and Applications, 1996)