TY  - BOOK
AU  - Hoffmann, Michael
AU  - Lenhard, Johannes
AU  - Seeger, Falk
TI  - Activity and Sign
T2  - Lecture notes in computer science
U1  - 419 
CY  - Berlin
PB  - Springer
ER  -