1. Beaudouin-Lafon, M.: ‘Collaborative development of software’, Gibbs, S., Verrijn-Stuart, A., Multi-user interfaces and applications, (Elsevier Science Publishers 1990)
2. Dix, A., and Mancini, R.: ‘Specifying history and backtracking mechanisms’, Palanque, P., Paterno, F., Formal methods in human–computer interaction, (Springer-Verlag London 1997),in press