Title: 43rd Annual IEEE Symposium on Foundations of Computer Science
Subjects: Electronic data processing, Congresses, Machine theory