@String{ser-LNCS = "Lecture Notes in Computer Science"}
@String{pub-Springer = "Springer-Verlag"}

@InProceedings{Liblit:2003:TSDDS,
  author =	 {Ben Liblit and Alex Aiken and Katherine Yelick},
  title =	 {Type Systems for Distributed Data Sharing},
  crossref =	 {SAS03},
  source =
                  {\url{http://pages.cs.wisc.edu/~liblit/sharing-types/sharing-types.bib}}
}

@Proceedings{SAS03,
  title =	 {SAS '03: The 10th International Static Analysis
                  Symposium},
  booktitle =	 {SAS '03: The 10th International Static Analysis
                  Symposium},
  year =	 2003,
  series =	 ser-LNCS,
  address =	 {San Diego, California},
  month =	 jun # " 11--13",
  publisher =	 pub-Springer
}