Haven't finished reading it yet, but it's been enlightening and thought-provoking: "The Essence of Software" by Daniel Jackson.