https://bookem.ir/books/2252207-Linear-Logic-in-Computer-Science