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