MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE: PROCEEDINGS 9TH SYMP'80 - DEMBINSKI,P (ED) (SV BERLIN, 1980)