Where can one find the source code e.g. pins_arduino.h

Depends on your operating system. On the Mac you find the core sources inside the Arduino app:

/Applications/Arduino 1.0.1.app/Contents/Resources/Java/hardware/arduino/cores/arduino