Jason O. Hallstrom Andrew R. Dalton Neelam Soundarajan Parallel Monitoring of Design Pattern Contracts. 236-241 2006 conf/seke/2006 SEKE db/conf/seke/seke2006.html#HallstromDS06