Access these things through my web-page, http://www.cs.toronto.edu/~mdhutton/