David F. Robinson, Betty H. C. Cheng. A temporal model for transparent monitoring of shared-memory multiprocessors. In Seventeenth Annual International Computer Software and Applications Conference, COMPSAC 1993, Proceedings, Phoenix, AZ, USA, 1-5 November, 1993. pages 388-394, IEEE, 1993. [doi]