Author: Symposium on mathematical foundations of computer science (4th 1975 Mariáncké Lázně, Czechoslovakia)