There's this: https://archive.org/details/BASICODE2Manual https://archive.org/details/BASICODE2Manual I actually tried downloading programes from the Dutch rad

There's this: https://archive.org/details/BASICODE2Manual https://archive.org/details/BASICODE2Manual I actually tried downloading programes from the Dutch radio station back in those days - and it worked.