K. Matsubayashi

A Denotational Approach for Formal Specification of Human-Computer Dialogue

Nobuki Tokura, K. Matsubayashi, Y. Tsujino, 1995 .

Integrating System's Functional Model and its Structional Model Toward Denotational Dialogue Specification

Nobuki Tokura, Yoshihiro Tsujino, K. Matsubayashi, 1997, HCI.