David Mathias' homepage has moved to: www.cs.uwlax.edu/~dmathias