Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981 (SYMPOSIUM ... FOUNDATIONS OF COMPUTER SCIENCE)