Huesca, ciudad fortificada : estudio histórico de las murallas de la ciudad (Naval Mas, Antonio)