https://intlibrary.ir/download/abstract-state-machines-a-method-for-high-level-sy-67543/