Programming 32-bit Microcontrollers in C: Exploring the PIC32, 1st edition by Lucio Di Jasio
Checking distributor stock and pricing after the page loads.