Proceedings of the Oxford University Computing Laboratory Programming Research Group Student Conference '06 - Xie, Y (Oxford University Computing Laboratory, 2006)