An Overview of the SR Language and Implementation. - Gregory R. Andrews; Ronald A. Olsson; Michael H. Coffin; Irving Elshoff; Kelvin D. Nilsen; Titus D. M. Purdin; Gregg M. Townsend (ACM Trans. Program. Lang. Syst., 1988)

An SR Approach to Multiway Rendezvous. - Michael H. Coffin; Ronald A. Olsson (Comput. Lang., 1989)

Parallel programming - a new approach. - Michael H. Coffin (Prentice Hall, 1992)

Efficient event generation for detecting races. - Scotte Zinn; Michael H. Coffin (CASCON, 1993)

Integrating real-time and partial-order information in event-data displays. - David J. Taylor; Michael H. Coffin (CASCON, 1994)

Monitor Classification. - Peter A. Buhr; Michael Fortier; Michael H. Coffin (ACM Comput. Surv., 1995)

Vector Time and Causality Among Abstract Events in Distributed Computations. - Twan Basten; Thomas Kunz; James P. Black; Michael H. Coffin; David J. Taylor (Distributed Comput., 1997)