Publications of Herrero de Jáuregui, Miguel