Mathematical foundations of computer science 1975. 4th symposium, Mariánské Lázně, September 1--5, 1975
scientific article; zbMATH DE number 3482254