BENADY, T. (1993). «Ingenieros militares en Gibraltar en los siglos XVI y XVII». Almoraima, (10), págs. 47-54. Las fortificaciones de Gibraltar se iniciaron en el siglo XII y fueron extendidas y mejoradas en el siglo XIV.