_Patterns of Software_, by Richard Gabriel. If you thought that Mob Software was interesting but not fully thought out, you should read this book. Hell, even if you hated it you should read this book. rpg outlines what he learned in his decades in the business. And his experience is just plain *better* than most -- as a programmer, he was one of the genius Lisp hackers from Stanford, and as a manager, he founded and ran Lucid Inc.

_Toward Zero-Defect Programming_, Allan M. Stavely. This is a very quick and informal introduction to Harlan Mills' Cleanroom methodology. Basically, Cleanroom takes the Floyd-Hoare proof rules and turns them into a lightweight development methodology. This is an amazing social engineering hack; it makes using formal specification and verification a lightweight and enjoyable process. If you ever plan on writing any code in C or Java you owe it to yourself to learn about Cleanroom.