Title: Logic, Rewriting, and Concurrency
Subjects: Logic, symbolic and mathematical, Computer programming