Prof. Manna's home page has moved to http://theory.stanford.edu/~zm