Historia general de España / Juan de Mariana - Mariana, Juan de.