This research was partially supported by the National Science Foundation (NSF grants CCR-9704562;
CCR-9303011;
and CCR9732186) and by a grant from the Schlumberger Foundation. An earlier version of this paper appeared in the Proceedings Conference on Foundations of Software Technology and Theoretical Computer Science;
1996;