Department of Computing Science, University of Aberdeen, Aberdeen, Scotland, UK. d.w.ritchie@abdn.ac.uk|Department of Computing Science, University of Aberdeen, Aberdeen, Scotland, UK. d.w.ritchie@abdn.ac.uk|Department of Computing Science, University of Aberdeen, Aberdeen, Scotland, UK. d.w.ritchie@abdn.ac.uk