TY - BOOK AU - Bolling, Benedikt TI - Formal models of communication system SN - 3540329226 PY - 2006/// CY - New York PB - Springer ER -