López Piñero, J. M., M. Peset Reig y L. García Ballester, Bibliografía histórica sobre la ciencia y la técnica en España