Lectures on linear logic / A. S. Troelstra. Menlo Park, Calif. [u.a.] : CSLI, Center for the Study of Language and Information, 1992