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