TY  - BOOK
AU  - GUREVICH AND ETC
TI  - ABSTRACT STATE MACHINES: THEORY AND APPLICATIONS
SN  - 3-540-67959-6
U1  - 005.2 GUR 
PY  - 2000///
PB  - SPRINGER
ER  -