Author: IBM Symposium on Mathematical Foundations of Computer Science (4th 1979 Oiso Prince Hotel)