Philippe Palanque

Formal methods in human-computer interaction

Human Error, Safety and Systems Development

Critical issues in user interface systems engineering