Diccionario histórico de la ciencia moderna en España. - López Piñero, José María, 1933-2010 (Historia, ciencia, sociedad ;, 1983)