non-commutative tensor

During the summer there was a discussion on calculi 
involving both commutative and non-commutative connectives.
I mentionned the work I did on this topic, 
but there was nothing available by ftp.

I partly fixed this trouble by putting the 
english introduction of my thesis 
called:                    intro.dvi 
on the ftp site:           cma.cma.fr
under the directory:       pub/papers/retore

The paper on this ordered calculus will soon be available
on the same ftp directory, with the name pomset.dvi