https://intlibrary.ir/download/mathematical-structures-for-computer-science--92138/