Ivo Ragazzini: books, biography and more