Data-race and concurrent-write freedom are undecidable. - Alvaro E. Campos; Dionel A. Suazo (Comput. Lang. Syst. Struct., 2003)