https://5dok.net/document/dy43349z-equational-specifications-complete-rewriting-systems-computable-semicomputable-algebras.html