Andrei Sorin's book (it's available free online) might be interesting to you. It's quite long but if you skip around in chapter 7 (on software) you might find s

Andrei Sorin's book (it's available free online) might be interesting to you. It's quite long but if you skip around in chapter 7 (on software) you might find some ideas worth keeping around.