Kreitz, Hayden, Hickey, 1998. A proof environment for the development of group communication systems, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/bfb0054269