Shyamasundar, et al.. Semantics for Nondeterministic Asynchronous Broadcast Networks. Springer Berlin Heidelberg, 1987, doi:10.1007/3-540-18088-5_7.