Nachum Dershowitz D. N. Jayasimha Seungjoon Park 304-317 http://dx.doi.org/10.1007/978-3-540-39910-0_14 2003 conf/birthday/2003manna Verification: Theory and Practice db/conf/birthday/Manna2003.html#DershowitzJP03