https://intlibrary.ir/download/turing-machines-and-differential-linear-logic-[the-28440/