Andrew Hussey Ian MacColl David A. Carrington Assessing Usability from Formal User-Interface Designs. 40-47 2001 conf/aswec/2001 Australian Software Engineering Conference http://csdl.computer.org/comp/proceedings/aswec/2001/1254/00/12540040abs.htm db/conf/aswec/aswec2001.html#HusseyMC01