MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE: PROCEEDINGS,7TH,1978 - WINKOWSKI,JOZEF (ED) (SV BERLIN, 1978)