Todos estos libros y algún otro se encuentran en la Biblioteca Nacional de España.