This page has moved to http://www.pmg.lcs.mit.edu/pubs/