Mingdong Feng Charles E. Leiserson Efficient Detection of Determinacy Races in Cilk Programs. 301-326 1999 32 Theory Comput. Syst. 3 http://link.springer.de/link/service/journals/00224/bibs/32n3p301.html db/journals/mst/mst32.html#FengL99