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