25th annual Symposium onFoundations of Computer Science, 1984 24-26 October 1984 / (IEEE,)