Programming 32-bit microcontrollers in C exploring the PIC32 - Di Jasio, Lucio (Embedded technology series, 2008)