Gibraltar : : The Spanish red Book on Gibraltar (Documentos históricos,, 1965)