Einav Hart's new page:
http://www.geocities.com/red_einav