DOC: New bib entry for (Lee and Seshia, 2011)