Prolog in "C". - Joanne L. Boyd; Gerald M. Karam (ACM SIGPLAN Notices, 1990)

Entity behaviour descriptions-A specification model for communicating entities. - Joanne L. Boyd; Gerald M. Karam (COMPSAC, 1993)

Using Design Fragments to Modularize the Design of Communications in Concurrent Systems. - Joanne L. Boyd; Gerald M. Karam (IWSSD, 1993)