TY  - BOOK
AU  - Zimmermann, Wolf., ed
AU  - Thalheim, Bernhard., ed
TI  - Abstract State Machines 2004. Advances in Theory and Practice
T2  - Lecture Notes in Computer Science
U1  - 629.8312 
CY  - Berlin
PB  - Springer
ER  -