What are the titles of papers published by "Jeremy Gibbons"?
select t3.title from authors as t1 join authorship as t2 on t1.authid = t2.authid join papers as t3 on t2.paperid = t3.paperid where t1.fname = "Jeremy" and t1.lname = "Gibbons"