3 books in this genre
Propositional logic
H. Kleine Büning
Combinatorial pattern matching
M. Crochemore
Algorithmes et structures de donne es ge ne riques
Michel Divay
