Judy Bowen, Steve Reeves. Using formal models to design user interfaces: a case study. In Thomas C. Ormerod, Corina Sas, editors, Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it - Volume 1, BCS HCI 2007, University of Lancaster, United Kingdom, 3-7 September 2007. pages 159-166, BCS, 2007. [doi]
Abstract is missing.