the Advanced User Guide for the Acorn BBC Micro.