Formal models of communication system - Bolling, Benedikt (New York Springer, 2006)