@TechReport{ Murphy04symmetrictr,
  author =       {Murphy, VII, Tom and Karl Crary and Robert Harper and
                  Frank Pfenning},
  title =        {A Symmetric Modal Lambda Calculus for Distributed Computing},
  institution =  {Carnegie Mellon University},
  year =         {2004},
  number =       {CMU-CS-04-105},
  month =        {Mar},
  url = "http://www.cs.cmu.edu/~tom7/papers/",
  urlps = "http://www.cs.cmu.edu/~tom7/papers/symmetric-tr.ps.gz",
  urlpdf = "http://www.cs.cmu.edu/~tom7/papers/symmetric-tr.pdf",
  urlabstract = "http://www.cs.cmu.edu/~tom7/papers/symmetric-abstract.html",
  keywords = "distributed computing, lambda calculus, modal logic,
curry-howard isomorphism, lambda 5, type theory, programming
languages"
}