Design of Man-Computer Dialogues (Prentice-Hall series in automatic computation)