https://123deta.com/document/qm3jn77y-residuated-translation-extended-abstract-algebras-languages-computations-applications.html