IBM symposium on Mathematical Foundations of Computer Science (6th 1981 Hakone-machi, Japan)