My final-year project for Part II of the Computer Science Tripos, as originally submitted. - View it on GitHub