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

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

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

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

@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",
}