Author: Symposium on Foundations of Computer Science (24th 1983 Tucson, Ariz.)