@techreport{Murphy2006Modal,
  title = {Modal Types for Mobile Code (Thesis Proposal)},
  year = {2006},
  author = {Murphy, VII, Tom},
  number = {CMU-CS-06-112},
  institution = {Carnegie Mellon},
  month = {Feb},
  address = {Pittsburgh, Pennsylvania, {USA}}
}