The website has been moved. You will be redirected: http://www.fredvogels.nl/tribute-to/michael-rabin.html