TY  - BOOK
AU  - Goldin, Dina
AU  - Smolka, Scott A
TI  - Interactive Computation : the new paradigm 
SN  - 354034666X
U1  - 004.0151 GOL 
PY  - 1998///
CY  - USA
PB  - Springer Verlag, Netherlands
KW  - Interactive computer systems
N1  - <p>1.&nbsp;Introduction.</p>

<p>2. The
ER  -