Author: International Symposium on Mathematical Foundations of Computer Science (15th 1990 Banska Bystrica, Czechoslovakia)