Mathematical studies of information processing: proceedings of the international conference Kyoto,Japan,august 23-26. 1978. - Blum, E.K (Springer Verlag, 1979)