Design, Specification, and Verification-Revised Papers, p
Reflections on symmetry
Symmetry for successful interactive systems