1988 | ||
---|---|---|
2 | EE | Heather Alexander: Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches". IEEE Trans. Software Eng. 14(4): 438-439 (1988) |
1987 | ||
1 | Heather Alexander: Formally-Based Techniques for Dialogue Design. BCS HCI 1987: 201-214 |