https://intlibrary.ir/download/automata,-languages-and-programming:-20th-internat-33911/