A Parameterized Type System for Race-Free Java Programs.

Chandrasekhar Boyapati Martin C. Rinard A Parameterized Type System for Race-Free Java Programs. 56-69 2001 OOPSLA db/conf/oopsla/oopsla2001.html#BoyapatiR01