This was presented at the RSPSoc 2012 conference in Greenwich, London. See http://www.rtwilson.com/academic/publications for the associated paper.