ROM, 27/Dec/2015
There are a load of BBC Basic V versions for Linux, and a significant number ported for Debian, or even Raspbian. This refers to Brandy, a portable version written in ANSI C, which runs on Linux and Windows.
Brandy on SourceForge
Brandy article by 'jaguar' (on archive.com)
Brandy article by 'drobe' (on archive.com)
Brandy can be loaded using:
sudo apt-get install brandy
Note that there is a 'man' entry for Brandy.
Documentation (and some example programs) can be found in:
/usr/share/doc/brandy
Seeing as the documentation is gzipped one way to read it is:
zmore /usr/share/doc/brandy/basic
and
zmore /usr/share/doc/brandy/use
For a more full manual:
(Reached from: http://www.riscos.com/support/developers/index.htm )
There are no obviously available PDFs, free to download. The 'classic' set of manuals is:
http://www.cjemicros.co.uk/micros/individual/newprodpages/prodinfo.php?prodcode=ACO-RO2PRM
for thirty quid (the Basic manual is one of a set of four RISC OS 2 manuals).