Author: IBM Symposium on Mathematical Foundations of Computer Science (6th 1981 Tokyo)