La población de Sevilla (Servicio de Publ. del Excmo. Ayuntamiento de Sevilla, 1986)