Вот что удалось найти...
(Это многотомный архив: надо записать все файлы в один каталог и разархивировать - получится один pdf)