Author: IBM symposium on Mathematical Foundations of Computer Science (2nd 1977 Inter-University Seminar House of Kansai)