CAMPO, S. DEL. (1990). «Reseña demográfica de Gibraltar». Almoraima, (4), págs. 99-107. El XV Abstract of Statistics de Gibraltar estima que la población civil a 31 de diciembre de 1987 ascendía a 29.692 personas.