https://intlibrary.ir/download/coalgebraic-methods-in-computer-science:-15th-ifip-49346/