@misc{ murphy01linear,
    author = "Tom Murphy~VII",
    title = "Linear Type Systems for Communication",
    address = "Carnegie Mellon University",
    year = "2001",
    url = "http://www.cs.cmu.edu/~tom7/papers/",
    urlps = "http://www.cs.cmu.edu/~tom7/papers/linear.ps.gz",
    urlpdf = "http://www.cs.cmu.edu/~tom7/papers/linear.pdf",
    urlabstract = "http://www.cs.cmu.edu/~tom7/papers/linear.html",
    keywords = "linear types, MinML, SML, functional programming, pi calculus, CCS, CML, protocol, enforce, types"
}