https://1library.net/document/y96pxowy-machine-translation-divergences-formal-description-proposed-solution.html