John Rushby's web site is coming here soon.
In the meantime, you can visit my
usual site
at SRI