Dave Musser's Athena page is at http://www.cs.rpi.edu/~musser/gsd/athena/index.html.