@phdThesis{StraTh,
   author =  {Lutz Stra{\ss}burger},
   title =   {Linear Logic and Noncommutativity in the Calculus of Structures},
   school =  {Technische Universit\"at Dresden},
   year =    2003
}