1. P. Arrighi and G. Dowek, Operational semantics for formal tensorial calculus, 2nd International Workshop on Quantum Programming Languages, Helsinki, 2004
2. Handbook of theoretical computer science (vol. B): formal models and semantics;Dershowitz,1991
3. Complete sets of reductions for some equational theories;Peterson;Journal of the ACM,1981