4 books • 2 series
Rule-Based Programming (The Springer International Series in Engineering and Computer Science, #369)
Fundamental Concepts of Computer Science
Taming the Tiger (Springer Books on Professional Computing)
Discrete Structures of Computer Science