Substructural logics a primer - Paoli, Francesco (Kluwer Academic Publishers, 2002)