The use of theories and models in designing cooperative systems. Conference supplement : 4th internat. conf., Sophia Antipolis, France, May 23 - 26, 2000 - Cabrol-Hatimi, Catherine (INRIA, 2000)