Source

edit
  • Jackson, William (1990). The Rock of the Gibraltarians. A History of Gibraltar (2nd ed.). Grendon, Northamptonshire, UK: Gibraltar Books. ISBN 0-948466-14-6.