MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE: PROCEEDINGS OF 8TH SYMPOSIUM,1979 - BECVAR,J (ED) (SV BERLIN, 1979)