David J. Duke, Michael D. Harrison. Folding Human Factors into Rigorous Development. In Fabio Paternò, editor, Design, Specification and Verification of Interactive Systems 94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy. pages 333-347, Springer, 1994.
Abstract is missing.