These notes have moved to http://www.cs.qub.ac.uk/~p.kilpatrick/CSC403Web