Catálogo colectivo de obras impresas en los siglos XVI al XVIII existentes en las bibliotecas españolas (1972)