You are about to access our book library "FOUNDATIONS of COMPUTER SCIENCE, Proceedings of IEEE 38th Annual Symposium on, 20-22 October 1997, Miami Beach, Florida. full version" .