https://intlibrary.ir/download/instruction-sequences-for-computer-science-89311/