I second the Russ Cox recommendation. I read that ages ago and that was what made me realise some theory could actually be useful in practice.