TY  - BOOK
AU  - Bollig, Benedikt
TI  - Formal models of communicating systems: languages, automata, and monadic second-order logic
SN  - 3540329226
CY  - Berlin
ER  -