Gibson, Paul and Mermet, B and Mokhtari, Y (1996) Specification de services dans une logique temporelle compositionnelle. Technical Report. Computer Science, Université Henri Poincaré.. (Unpublished)