Alan J. Dix, Jennifer G. Sheridan, Stuart Reeves, Steve Benford, Claire O Malley. Formalising Performative Interaction. In Stephen W. Gilroy, Michael D. Harrison, editors, Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Volume 3941 of Lecture Notes in Computer Science, pages 15-25, Springer, 2005. [doi]
Abstract is missing.