Last but not least, we would like to thank the Technical Service Group of the School of Computer Science for their assistance. These are especially Nick Reynolds, William Armitage and Viktor Huddleston.