Czenky, M. Normalization Based on Dependency Diagram. Teach. Math. Comp. Sci. 2010, 8 (1), 121-132. https://doi.org/10.5485/TMCS.2010.0245.