Mathematical Foundations of Computer Science, 1990: Banska Bystrica Czechoslovakia, Aug. 27-31, 1990 Proceedings (SYMPOSIUM ON MATHEMATICAL ... FOUNDATIONS OF COMPUTER SCIENCE)