MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE: PROCEEDINGS,1981 - CHYTIL,MICHAL (ED), GRUSKA,JOZEF (ED) (SV BERLIN, 1981)