Retoré, Christian (1997-04-02). "Pomset logic: A non-commutative extension of classical linear logic". In Philippe de Groote; J. Roger Hindley (eds.). Typed Lambda Calculi and Applications. Lecture Notes in Computer Science. Vol. 1210. Springer Berlin Heidelberg. pp. 300–318. CiteSeerX10.1.1.47.2354. doi:10.1007/3-540-62688-3_43. ISBN978-3-540-62688-6.
Retoré, Christian (1997-04-02). "Pomset logic: A non-commutative extension of classical linear logic". In Philippe de Groote; J. Roger Hindley (eds.). Typed Lambda Calculi and Applications. Lecture Notes in Computer Science. Vol. 1210. Springer Berlin Heidelberg. pp. 300–318. CiteSeerX10.1.1.47.2354. doi:10.1007/3-540-62688-3_43. ISBN978-3-540-62688-6.