Efficient detection of determinacy races in cilk programs
scientific article; zbMATH DE number 1310555