Brian Chin Daniel Marino Shane Markstrum Todd D. Millstein Enforcing and validating user-defined programming disciplines. 85-86 2007 conf/paste/2007 PASTE http://doi.acm.org/10.1145/1251535.1251550 db/conf/paste/paste2007.html#ChinMMM07