https://intlibrary.ir/download/algebraic-semantics-49851/