https://intlibrary.ir/download/termersetzungssysteme:-theorie,-implementierung,-a-43150/