Integrating System's Functional Model and its Structional Model Toward Denotational Dialogue Specification. - K. Matsubayashi; Yoshihiro Tsujino; Nobuki Tokura (HCI (2), 1997)