A Software Architecture for Workstations Supporting Multimedia Conferencing in Packet Switching Networks. - Wu-Hon F. Leung; Thomas J. Baumgartner; Yeou H. Hwang; Mike J. Morgan; Shi-Chuan Tu (IEEE J. Sel. Areas Commun., 1990)

From formal specification to implementation: experience with protocol tools. - Thomas J. Baumgartner; David M. Kristol; J. D. Milleville; Prashant S. Parikh (ICNP, 1993)