The homepage of Pascal Vicaire is at http://www.cs.virginia.edu/~pv9f