https://intlibrary.ir/download/theoretical-computer-science:-introduction-to-auto-31673/