https://intlibrary.ir/download/automata-networks:-litp-spring-school-on-theoretic-66605/