1. Assimilating models of designers, users and systems: Final report of Esprit BRA 3066;Amodeus Consortium,1992
2. User recovery and reversal in interactive systems;Archer;ACM Trans. Programming Lang.,1984
3. Formal methods and interactive systems: principles and practice;Dix,1987