@String{lcs =    "{Lab.\ for Computer Science}"} 

@String{springer = "{Springer-Verlag}"} 

@String{MIT =    "{Massachusetts Institute of Technology}"} 

@String{LNCS =   "{Lecture Notes in Computer Science}"} 

@String{TR =     "{Technical Report}"} 

@String{cambridge = "{Cambridge, MA}"} 

@InProceedings{LL02,
  author =       "Livadas, Carolos and Lynch, Nancy A.",
  title =        "{A Formal Venture into Reliable Multicast Territory}",
  booktitle =    "Proc. 22nd International Conference on Formal Techniques for
                 Networked and Distributed Systems (FORTE'02)",
  editor =       "Peled, Doron A. and Vardi, Moshe Y.",
  pages =        "146--161",
  volume =       "2529",
  series =       LNCS,
  month =        nov,
  year =         "2002",
  publisher =    springer,
  address =      "Houston, TX",
  url =          "http://theory.lcs.mit.edu/tds/papers/Livadas/FORTE02.html",
} 

@TechReport{LL02-TR,
  author =       "Livadas, Carolos and Lynch, Nancy A.",
  title =        "{A Formal Venture into Reliable Multicast Territory}",
  institution =  "{Lab. for Computer Science, MIT}",
  year =         2002,
  type =         TR,
  number =	 "{MIT/LCS/TR-868}",
  address =	 cambridge,
  month =	 nov,
  url =          "http://theory.lcs.mit.edu/tds/papers/Livadas/TR-868.html",
}