Author: IBM symposium on Mathematical Foundations of Computer Science (5th 1980 Hakone-machi, Japan)