INTERNATIONAL SYMPOSIUM ON PROGRAMMING: PROCEEDINGS,4TH COLLOQUE,1980 - ROBINET,BERNARD (ED) (SV BERLIN, 1980)