Dispute for Strickland et al, OOPSLA 12
Merge pull request #2 from samth/patch-1

Dispute for Strickland et al, OOPSLA 12