Formally-based tools and techniques for human-computer dialogues - Alexander, Heather, 1955- (Computers and their applications., 1987)