Dialogue specification and control: a review of models and techniques. - David T. Clarke; Geoff P. Crum (Inf. Softw. Technol., 1994)