Formally-based tools and techniques for human-computer dialogues - Alexander, Heather (Ellis Horwood [u.a.], 1987)