Cormac Flanagan and Stephen N. Freund. Type-Based Race Detection for Java. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, Vancouver, June 2000. ACM.

Cormac Flanagan and Stephen N. Freund. Detecting Race Conditions in Large Programs. In Proceedings of ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, Snowbird, Utah, June 2001. ACM.