IBM symposium on Mathematical Foundations of Computer Science (3rd 1978 Inter-University Seminar House of Kansai)