Towards a Taxonomy for Reversible Computation Approaches