Grattage, Jonathan James (2006) A functional quantum programming language. PhD thesis, University of Nottingham.
Dai, Xianhua (2008) A game theoretic approach to quantum information. PhD thesis, University of Nottingham.
