Formal Representation of Qualitative and Quantitative Reversible Operations · Study