Books by Symposium on Mathematical Foundations of Computer Science (1972- ) (9th 1980 Rydzyna, Poland) on BookTides.