Author: Japan) IBM Symposium on Mathematical Foundations of Computer Science (5th 1980 Tokyo