Garrido, J. L.; Gea, M.; Gutiérrez, F. L.; Padilla, N. (2000): Designing Co-operative Systems for Human Collaboration. COOP 2000: Cooperative Systems Design - The Use of Theories and Models. IOS Press. ISBN: 1-58603-042-6. pp. 399-410. Formal Models. Sophia-Antipolis, February. 23-26 May 2000
