@misc{Ko-transfer,
  title = "Datatype ornamentation and the Dutch National Flag problem",
  author = "Hsiang-Shang Ko",
  year = "2011",
  howpublished = "Transfer dissertation",
  month = "October",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/DNF/transfer.pdf",
}