David Wood has moved to Monash University, and his home page has moved to http://users.monash.edu.au/~davidwo/