Symposium on Foundations of Computer Science (16th 1975 Berkeley)