Title: BBC Micro : bit User Manual : A Simple Guide to Get Started with the BBC Micro