Mathematical foundations of computer science 1980. Proceedings of the 9th symposium held in Rydzyna, Poland, September 1–5, 1980. (English) Zbl 0435.00014
Lecture Notes in Computer Science 88. Berlin Heidelberg New York: Springer-Verlag. VIII, 723 p. DM 63.00; $ 37.20 (1980).