Mathematical foundations of computer science 1981 : proceedings, 10th Symposium Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981 - Mathematical Foundations of Computer Science [10: 1981: Strbske Pleso, Czech.] (Lecture notes in computer science ; 118, 1981)