Lutz Straßburger: Linear logic and noncommutativity in the calculus of structures. Dresden University of Technology, Germany 2003, 1-268