@phdthesis{drape04dphil,
  title = "Obfuscation of Abstract Data-Types",
  author = "Stephen Drape",
  year = "2004",
  school = "Oxford University Computing Laboratory",
}