Python for Microcontrollers: Getting Started with MicroPython
BBC micro:bit 35 Touch Develop & MicroPython Projects
BBC micro:bit