Philippe A. Palanque, Rémi Bastide. Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. In Mark A. R. Kirby, Alan J. Dix, Janet Finlay, editors, People and Computers X, Proceedings of HCI 95, Huddersfield, August 1995. pages 213-231, Cambridge University Press, 1995.