Books by Symposium on Foundations of Computer Science (42nd 2001 Las Vegas, Nev.)