[watteau]

hjkavl,

1. Action Semantics (Cambridge Tracts in Theoretical Computer Science)
Author(s): Peter D. Mosses
2005. 394 p.
2. Algorithms and Data Structures for External Memory (Foundations and Trends(R) in Theoretical Computer Science)
Author(s): Jeffrey Scott Vitter
2008. 191 p.
3. Grammatical Picture Generation: A Tree-Based Approach (Texts in Theoretical Computer Science. An EATCS Series)
Author(s): Frank Drewes
2006. 474 p.
4. Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Volume 33)
Author(s): Ernest G. Manes
2004. 236 p.
5. The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Volume 32)
Author(s): Bob Carpenter
1992. 280 p.
6. Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Volume 9)
Author(s): Marianne Winslett
2005. 224 p.

Выбирайте.