https://intlibrary.ir/download/axiomization-of-passage-from-local-structure-to-gl-52125/