My website has moved to http://www.cs.ucsb.edu/~richert