Author: IBM Symposium on Mathematical Foundations of Computer Science (7th 1982 Hakone, Japan)