Slide 1 (c) Copyright 2008 William Harrison, Trinity College, Dublin. This work is supported by a grant from Science Foundation, Ireland Bill Harrison Department of Computer…