https://123dok.net/document/zwv99n9v-on-the-semantic-equivalence-of-language-syntax-formalisms.html