Almost every computer-related book I buy is theory or pragmatics related in the compilers, languages and type theory field. They're good for decades, for the most part.