Writing the Rock of Gibraltar: An Anthology of Literary Texts, 1720-1890