Lectures on linear logic - Troelstra, Anne S. 1939-2019 (CSLI, 1992)
Literaturverz. S. 191 - 196