Title: Mathematical Foundations of Computer Science 1984 (Symposium on Mathematical Foundations of Computer Science//Mathematical Foundations of Computer Science)