The BBC micro: bit: from the U.K. to the world. - Jonny Austin; Howard Baker; Thomas Ball 001; James Devine; Joe Finney; Peli de Halleux; Steve Hodges 001; Michal Moskal; Gareth Stockdale (Commun. ACM, 2020)