https://intlibrary.ir/download/computer-aided-verification-2nd-international-4558/