Don't quite understand your question. I had assumed that you wanted to understand about various computation models as encompassed by the various categories of l

Don't quite understand your question. I had assumed that you wanted to understand about various computation models as encompassed by the various categories of languages i.e. imperative/object-oriented/functional/logic/concurrent/etc. The above mentioned books cover that with the principles being transferable to any language you might choose to focus on.