CREATE TABLE authorship (authid VARCHAR(255), paperid VARCHAR(255)); CREATE TABLE papers (title VARCHAR(255), paperid VARCHAR(255)); CREATE TABLE authors (authid VARCHAR(255), fname VARCHAR(255), lname VARCHAR(255))
What are the titles of papers published by "Jeremy Gibbons"?
    
SQL: 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"