https://intlibrary.ir/download/theoretical-aspects-of-computing-ictac-2011:-8th-i-21465/