@incollection{Bap:book,
  author = "Baptista, M. and Rodrigues, L. and Ver\'{\i}ssimo, P. and Graf, S. and Richier,J.L. and Rodriguez, {C}. and Voiron,J.",
  booktitle = "FORMAL DESCRIPTION TECHNIQUES, III",
  editor = "Quemada, J. and Ma\~{n}as, J. and Vazques, E.",
  pages = "345-352",
  publisher = "North-Holland",
  series = "IFIP",
  title = "Formal Specification and Verification of a Network Independent Atomic Multicast Protocol",
  year = "1991"
}