Christoph von Praun: Race Detection Techniques. Encyclopedia of Parallel Computing 2011: 1697-1706