Andrew Fish, Babak Khazaei, Chris Roast. Exploring Human Factors in Formal Diagram Usage. In Jan Gulliksen, Morten Borup Harning, Philippe A. Palanque, Gerrit C. van der Veer, Janet Wesson, editors, Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers. Volume 4940 of Lecture Notes in Computer Science, pages 413-428, Springer, 2007. [doi]