Reversible Computation related domains (1)