First published in 1990, this book discusses the application of formal methods to the human-computer interface.

These proceedings from the Human-Computer Interaction Forum, HCI '97, focus on the people-oriented disciplines of human factors, psychology, ergonomics, sociology and organizational theory. In addition, the volume covers computer-oriented disciplines such as software engineering.