https://intlibrary.ir/download/theoretische-informatik-10016/