Author: Symposium on Foundations of Computer Science (25th 1984 Singer Island, Fla.)