Halfacree, G. (2018). <i>The official BBC micro : bit user guide</i> (1st ed). John Wiley &amp; Sons, Inc.