Dix, A., Sheridan, J., Reeves, S., Benford, S., & O'Malley, C. (2006, December). Formalising performative interaction. Presented at 12th International Workshop on Interactive Systems - Design, Specification and Verification, DSVIS 2005; Newcastle unpon Tyne; United Kingdom