Books by Symposium on Mathematical Foundations of Computer Science (1972- ) (5th 1976 Gdańsk, Poland) on BookTides.