@phdthesis{murphy2008modal,
  author = {Murphy, VII, Tom},
  title = {Modal Types for Mobile Code},
  month = {January},
  year = {2008},
  school = {Carnegie Mellon},
  note = {Available as technical report CMU-CS-08-126},
  url = {http://tom7.org/papers/}
}