Added OOPSLA 2013 paper by Li et al.