Koenraad Audenaert Luk Levrouw Space efficient data race detection for parallel programs with series-parallel task graphs. 508-515 1995 conf/pdp/1995 PDP http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.389169 db/conf/pdp/pdp1995.html#AudenaertL95