Christoph von Praun Thomas R. Gross Object Race Detection. 70-82 2001 OOPSLA db/conf/oopsla/oopsla2001.html#PraunG01