Ferreira, Joao Fernando Peixoto (2011) Principles and applications of algorithmic problem solving. PhD thesis, University of Nottingham.
