HP Journal - Online

Die haben auch einen sehr krassen FTP Server in Betrieb bei

ftp://ftp.hp.com/pub/

Cartouce wollte eigentlich für Dich nachsehen, ob was für HP-85 bzw. die 80er Reihe dabei ist, aber da der Thread hier schon eine Weile existiert, wirst du da schon nachgeschaut haben. Dann halt nur der Link zu archive.org als verspätetes Update

https://archive.org/details/hpjournal