I'm in the middle of reading a few things. Here are the ones that seem interesting:
Steve Cook and Stuart Kent's OOPSLA report: The Tool Factory
Joe Armstrong's thesis: "Making reliable distributed systems in the presence of software errors"
Peter Van Roy's yet-to-be published book: "Concepts, Techniques, and Models of Computer Programming"