Those links are here and here. Sorry, I was using the URL while still referring to the local server (I type in www.people instead of www.people.virginia.edu because it's on the LAN and I'm lazy).
I have yet to see any problem, however complicated, which, when
you looked at it in the right way, did not become still more complicated.
-- Poul Anderson