@MastersThesis{Liblit:MS:TSDDS,
  author =	 {Ben Liblit},
  title =	 {Type Systems for Distributed Data Structures},
  school =	 {Department of Electrical Engineering and Computer
                  Science, University of California at Berkeley},
  year =	 2000,
  month =	 apr,
  source =
                  {\url{http://pages.cs.wisc.edu/~liblit/local-types/master.bib}}
}