Mathematical studies of information processing : proceedings of the international conference Kyoto, Japan, August 23-26,1978 - Blum, E. K.; Paul, M.; Takasu, S. (Lecture notes in computer science, 1979)