https://intlibrary.ir/download/sequential-logic-synthesis-89938/