Title: Reversible Computation
Subjects: Logic, symbolic and mathematical